Paper ALa Te XStyle File For Formatting BOXExpressions

This paper is available in ps and pdf.

Abstract

BOX is a language independent mark-up language. It is designed for use within a generic pretty-print framework to connect source language dependent front-ends to target language dependent back-ends. A front-end translates a term over a language to BOX to describe its intended layout. Back-ends translate BOX terms to arbitrary output formats. The tool box2latex is a back-end that generates LaTeX code using specialized LaTeX commands and environments defined in the style file boxenv. This style file is required in order to process the generated document by LaTeX. This paper describes how to integrate the generated LaTeX files within your documents, and it describes the low-level interface and implementation of the boxenv style file.

BibTeX entry

      Failed to include URL http://www.cs.uu.nl/wiki/pub/Merijn/PaperALaTeXStyleFileForFormattingBOXExpressions/SEN-R9911.bib

CategoryPapers

-- MerijnDeJonge - 07 Apr 2003