The TeX Catalogue OnLine, Entry for semantic, Ctan Edition

#

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 author is Peter Meuller Neergaard.
License: lppl Version: 2.0 Updated: 2003-11-01

Copyright (c) 1986-2004 . This page was generated 2004-11-03 01:43:37.