Compiling natural semantics

Descrição: Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of p... Veja mais