Abstract
The specification of the syntax and semantics for Standard ML have been designed to support the
generation of a compiler front end, but actual implementations have required significant modification
to the specification. Since the specification was written there have been major advances in the
development of language analysis systems that can handle general syntax specifications. We are
revisiting the SML specification to consider to what extent, using modern tooling, it can be
implemented exactly as originally written. In this paper we focus on the lexical specification.
generation of a compiler front end, but actual implementations have required significant modification
to the specification. Since the specification was written there have been major advances in the
development of language analysis systems that can handle general syntax specifications. We are
revisiting the SML specification to consider to what extent, using modern tooling, it can be
implemented exactly as originally written. In this paper we focus on the lexical specification.
| Original language | English |
|---|---|
| Title of host publication | Eelco Visser Commemorative Symposium (EVCS 2023) |
| Editors | Ralf Lammel, Peter D. Mosses, Friedrich Steimann |
| Publisher | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| Pages | 23:1-23:12 |
| Number of pages | 12 |
| Volume | 109 |
| ISBN (Electronic) | 978-3-95977-267-9 |
| DOIs | |
| Publication status | Published - 21 Mar 2023 |
Publication series
| Name | Open Access Series in Informatics |
|---|---|
| Publisher | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| ISSN (Electronic) | 2190-6807 |