Comprehensive TeX Archive Network

vdmlisting – Typesetting VDM in ASCII syntax

The pack­age is an ex­ten­sion for the list­ings pack­age that pro­vides a source code printer for . This pack­age de­fines new lan­guage def­i­ni­tions and list­ing en­vi­ron­ments for the three lan­guage di­alects of the Vi­enna Devel­op­ment Method: VDM-SL, VDM-PP and VDM-RT. If one wants to type­set VDM with a math­e­mat­i­cal syn­tax in­stead of the ASCII syn­tax used here one should use the vdm pacakge in­stead

Sources /macros/latex/contrib/vdmlisting
Ver­sion 1.0
Li­cense The Project Public Li­cense
Copy­right 2012–2013 Ken­neth Laus­dahl
Main­tainer Ken­neth Laus­dahl
Con­tained in TeX Live as vdm­list­ing
MiKTeX as vdm­list­ing
Topics type­set for­mal spec­i­fi­ca­tion lan­guages
com­puter code list­ing
See also listing

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

Com­mu­nity Com­ments



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


Guest Book Sitemap Contact Contact Author