#

Search | Home | Alpha | Brief | Topical | Hierarchical

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: 2005/06/27

Copyright © 1986-2005 . This page was generated 2005-06-27 18:22:02.