Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-24T04:15:58.553Z Has data issue: false hasContentIssue false
  • English
  • Français

A functional description of TEX's formula layout

Published online by Cambridge University Press:  01 September 1997

REINHOLD HECKMANN  and
REINHARD WILHELM
REINHOLD HECKMANN
Affiliation:
Fachbereich Informatik, Universität des Saarlandes Saarbrücken, Germany (e-mail: {heckmann,wilhelm}@cs.uni-sb.de)
REINHARD WILHELM
Affiliation:
Fachbereich Informatik, Universität des Saarlandes Saarbrücken, Germany (e-mail: {heckmann,wilhelm}@cs.uni-sb.de)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Type
Research Article
Information
Journal of Functional Programming , Volume 7 , Issue 5 , September 1997 , pp. 451 - 485
Copyright
© 1997 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.