Executable speci of static semantics (1984)

by T Despeyroux
Venue:In Semantics of Data Types