A Formal Specification of a Programming Language: Design of Pit.

Leif Pedersen, Hassan Reza

Browse the full ISoLA paper archive.