A Specification of Box to HTML in ASF+SDF
Marcella van der Graaf · 1997
Good documentation is important for the production of reusable and maintainable software. Tools that support the production of accurate and legible documentation are therefore essential for any programming environment. Documentation can be provided as printed output, like a typeset manual, or it can be provided on-line, as an electronic document. We present a translation from Box, a special purpose formatting language, to HTML. The translation is formulated in the executable algebraic specification formalism Asf+Sdf. It is capable of producing effective representations of computer programs in HTML and supports the generation of hypertext links. It can be used as a back-end for the Box tools, a system that is capable of generating formatters for arbitrary programming languages from their syntax.