Mark van den Brand, Eelco Visser  Home/Search
Context Related
| wins.uva.nl/pub/programmin...P9420.ps.Z cs.uu.nl/~visser/publicat...P9420.ps.gz cs.uu.nl/people/visser/pu...P9420.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math...www.wins.uva.nl (more) From: cs.uu.nl/~visser/publications/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define a translation from an intermediate box language for pretty printing to T E X. 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... (Update)
Context of citations to this paper: More
.... started with an initial specification of the Box language [Vos90] and has since then been extended with formatters for text and T E X [BV94, BV95] and a formatter generator [BV96] Figure 3.2 shows the architecture of the current system. ffl The formatter generator Given a...
Cited by: More
Basic Multi-Competence Programming - Bergstra, Bethke, Ponse (2000) (Correct)
A specification of Box to HTML in ASF+SDF - van der Graaf (1997) (Correct)
Active bibliography (related documents): More All
1.2: From Box to T - An Algebraic Approach (Correct)
0.6: Generation of Formatters for Context-free Languages - van den Brand, Visser (1995) (Correct)
0.4: Generation of Language Independent Modular Prettyprinters - van den Brand (1993) (Correct)
Similar documents based on text: More All
0.2: Language Independent Structure Editing using the ToolBus - Kuipers (1996) (Correct)
0.2: The Stratego Compiler - Visser (2000) (Correct)
0.2: The Stratego Reference Manual - Visser (2000) (Correct)
Related documents from co-citation: More All
3: Discrete time process algebra (context) - Baeten, Bergstra
3: Real space process algebra (context) - Baeten, Bergstra - 1993
3: An algebraic speci cation of a model factory (context) - Brunekreef, Ponse
BibTeX entry: (Update)
M.G.J. van den Brand and E. Visser. From box to tex: An algebraic approach to the construction of documentation tools. Technical report p9420, Programming Research Group, University of Amsterdam, 1994. http://citeseer.ist.psu.edu/vandenbrand94from.html More
@misc{ brand94from,
author = "M. van den Brand and E. Visser",
title = "From box to tex: An algebraic approach to the construction of documentation
tools",
text = "M.G.J. van den Brand and E. Visser. From box to tex: An algebraic approach
to the construction of documentation tools. Technical report p9420, Programming
Research Group, University of Amsterdam, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/vandenbrand94from.html" }
Citations (may not include all citations):191 A meta-environment for generating programming environments (context) - Klint - 1993
50 The algebraic specification formalism ASF (context) - Bergstra, Heering et al. - 1989
37 Center for the Study of Language and Information (context) - Knuth, Number et al. - 1992
31 Prentice Hall Object-Oriented Series (context) - Meyer, The - 1992
20 PPML: a general formalism to specify prettyprinting (context) - Morcos-Chounet, Conchon - 1986
19 ACM Transactions on Programming Languages and Systems (context) - Oppen - 1980
10 Literate programming: Weaving a languageindependent WEB (context) - Ramsey - 1989
6 FIGUE An Incremental Graphic Formatter User's manual for Ver.. (context) - Hascoet - 1992
6 Prettyprinting without losing comments - van den Brand - 1993
6 volume 36 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Mauw, Veltink et al. - 1993
5 Generation of language independent prettyprinters (context) - van den Brand - 1993
5 Reprinted as Chapter 4 of [Knu (context) - Knuth, The et al. - 1984
2 Available by anonymous ftp from ftp (context) - Ramsey, user's et al. - 1989
1 more information from mathpad@win (context) - pages
1 A numerical package for ASF+SDF (context) - van Deursen - 1992
Documents on the same site (http://fermivista.math.jussieu.fr/http/www.wins.uva.nl.html): More
Forcing in Finite Structures - Zambella (1996) (Correct)
Data Flow Analysis for Reverse Engineering - Moonen (1996) (Correct)
A Library for PSF - van Wamel (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC