Toward abstract interpretation of program transformations.

Werkzeuge