The TeX Catalogue Online

semantic

Help for writing programming language semantics.

Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.

The authors are Peter Møller Neergaard and Arne John Glenstrup.

License: lppl Version: 2.0 Catalogued: 2012-06-13