Comprehensive TeX Archive Network

semantic – Help for writing programming language semantics

Eases the type­set­ting of no­ta­tion of se­man­tics and com­pil­ers. In­cludes T-di­a­grams, var­i­ous deriva­tion sym­bols and in­fer­ence trees.

Sources /macros/latex/contrib/semantic
Ver­sion 2.0
Li­cense The Project Public Li­cense
Main­tainer Peter Møller Neer­gaard
Arne John Glen­strup
Con­tained in TeX Live as se­man­tic
MiKTeX as se­man­tic
Topics type­set com­puter-sci­ence re­lated ma­te­rial

Down­load the con­tents of this pack­age in one zip archive (387.3k).


Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author