A functional description of TEX's formula layout

Authors:
Reinhold Heckmann;Reinhard Wilhelm
Affiliations:
Fachbereich Informatik, Universität des Saarlandes Saarbrücken, Germany (e-mail: {heckmann,wilhelm}@cs.uni-sb.de);Fachbereich Informatik, Universität des Saarlandes Saarbrücken, Germany (e-mail: {heckmann,wilhelm}@cs.uni-sb.de)
Venue:
Journal of Functional Programming
Year:
1997

Citing 3
Cited 2

ML for the working programmer

ML for the working programmer
TEX: The Program

TEX: The Program
The TeXbook

The TeXbook

Fast and parallel webpage layout

Proceedings of the 19th international conference on World wide web
An appreciation of the work of Reinhard Wilhelm

Program analysis and compilation, theory and practice

Quantified Score

Hi-index	0.00

Visualization

Abstract

While the quality of the results of TEX's mathematical formula layout algorithm is convincing, its original description is hard to understand since it is presented as an imperative program with complex control flow and destructive manipulations of the data structures representing formulae. In this paper, we present a re-implementation of TEX's formula layout algorithm in the functional language SML, thereby providing a more readable description of the algorithm, extracted from the monolithical TEX system.