Settings Help
Comprehensive TeX Archive Network
Home Upload Browse

Direc­tory tex-archive/macros/latex/contrib/semantic


Name Size Date Notes
semantic.dtx 116939 2003-10-28 01:31:00
semantic.ins 1309 2003-10-28 01:31:00
semantic.pdf 392885 2005-06-27 04:58:00

Down­load the com­plete con­tents of this di­rec­tory in one zip archive (387.3k).

se­man­tic – Help for writ­ing pro­gram­ming lan­guage se­man­tics

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.

Li­censeThe LaTeX Project Public Li­cense
Main­tainerArne John Glen­strup
Peter Møller Neer­gaard
Con­tained inTeXLive as se­man­tic
MiKTeX as se­man­tic
Topics type­set com­puter-sci­ence re­lated ma­te­rial
Guest Book Sitemap Contact 2014-04-19 16:35 CEST