| 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.
|
||
|
||
| License: lppl Version: 2.0 Catalogued: 2005/06/27 | ||
.
This page was generated 2005-06-27 18:22:02.