Please visit my new website at
http://swerl.tudelft.nl/bin/view/EelcoVisser
Home
Address
Schedule
Vitae
Activities
Mailing Lists
Research
Publications
Reports
Theses
Talks
Projects
StrategoXT
TFA
TraCE
DspTrafo
SDF
Software
Teaching
SWE
SGC
PTR
(HPC)
Students
Master Projects
WebLog
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
From Box To Te X
Visser
M. van den Brand and E. Visser. *From Box to <nop>TeX: An algebraic approach to the generation of documentation tools.* Technical Report P9420, Programming Research Group, University of Amsterdam, July 1994. ([[http://www.cs.uu.nl/people/visser/ftp/P9420.ps.gz][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.}, ------+++ <nop>BibTeX <pre> %INCLUDE{http://www.cs.uu.nl/groups/ST/stbib/visser-by-year/BV94.bib}% </pre> <!-- * Set PREV_SKIN = notitle -->