Laboratory activities for studying the formal semantics of programming languages.

Barry L. Kurtz

Browse the full SIGCSE paper archive.