CTAN Comprehensive TeX Archive Network

An­nounce­ments for se­man­tic

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.

Pack­agese­man­tic
Ver­sion2.0
Main­tainerArne John Glen­strup
Peter Møller Neer­gaard

Atom Atom 1.0 feed with an­nounce­ments for pack­age se­man­tic.
RSS RSS 2.0 feed with an­nounce­ments for pack­age se­man­tic.

Guest Book Sitemap Contact Contact Author