Saltar al contenido

A form of Static Analysis based on the definition and usage of variables.