CTAN Comprehensive TeX Archive Network

Direc­tory macros/latex/contrib/semantic

Down­load the con­tents of this pack­age 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­censesThe Project Public Li­cense
Main­tainerArne John Glen­strup
Peter Møller Neer­gaard
Con­tained inTeX Live as se­man­tic
MiKTeX as se­man­tic
TopicsCom­puter sci­ence
Guest Book Sitemap Contact Contact Author