SERG home SERG > EelcoVisser > ResearchInterests > ProgramTransformation > SyntaxDefinition > FromBoxToTeX SERG webs:
Main | TWiki | Sandbox
EelcoVisser . { }
M. van den Brand and E. Visser. From Box to TeX: An algebraic approach to the generation of documentation tools. Technical Report P9420, Programming Research Group, University of Amsterdam, July 1994. (psgz).

Abstract

We define a translation from an intermediate box language for pretty printing to \TeX. This translation can be used as a back-end for pretty printers in documentation tools for programming languages. The translation is formulated in an executable algebraic specification formalism. An important aspect of the translation is the transformation of boxes according to a set of equations. These equations preserve the text formatting semantics of boxes which is also defined algebraically. New in this approach is that algebraic transformations of box terms are used to circumvent the limitations of the typesetter.\par The \TeX\ generator, which translates the box language to \TeX\ code, is a component of documentation tools generated for the programming environments developed with the ASF+SDF meta-environment, but can also be used as a separate tool. As a case study, the construction of a typesetter for the process specification formalism PSF is shown.},

BibTeX

@techreport{BV94,
  author      = {{\sortunder{Brand}}van den Brand, Mark G. J. and Visser, Eelco},
  title       = {From {Box} to {\TeX}: {An} algebraic approach to the generation of documentation tools},
  year        = {1994},
  month       = {July},
  number      = {P9420},
  institution = {Programming Research Group, University of Amsterdam},
  url         = {ftp://ftp.wins.uva.nl/pub/programming-research/reports/1994/P9420.ps.Z},
  abstract    = {We define a translation from an intermediate box language for pretty printing to \TeX. This translation can be used as a back-end for pretty printers in documentation tools for programming languages. The translation is formulated in an executable algebraic specification formalism. An important aspect of the translation is the transformation of boxes according to a set of equations. These equations preserve the text formatting semantics of boxes which is also defined algebraically. New in this approach is that algebraic transformations of box terms are used to circumvent the limitations of the typesetter.\par The \TeX\ generator, which translates the box language to \TeX\ code, is a component of documentation tools generated for the programming environments developed with the ASF+SDF meta-environment, but can also be used as a separate tool. As a case study, the construction of a typesetter for the process specification formalism PSF is shown.},
  urlpsgz     = {http://www.cs.uu.nl/people/visser/ftp/P9420.ps.gz},
  pubcat      = {techreport},
  project     = {SDF},
}


Topic FromBoxToTeX . { Edit | Attach | Ref-By | Printable | Diffs | r1.1 | More }
Revision r1.1 - 09 Jun 2004 - 11:06 - EelcoVisser
Parents: WebHome > ResearchInterests > ProgramTransformation > SyntaxDefinition

Copyright © 2003-2017, Software Engineering Research Group, Delft University of Technology, The Netherlands