License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.EVCS.2023.23
URN: urn:nbn:de:0030-drops-177936
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/17793/
Scott, Elizabeth ;
Johnstone, Adrian
Analysing the SML97 Definition: Lexicalisation
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 short paper we focus on the lexical specification.
BibTeX - Entry
@InProceedings{scott_et_al:OASIcs.EVCS.2023.23,
author = {Scott, Elizabeth and Johnstone, Adrian},
title = {{Analysing the SML97 Definition: Lexicalisation}},
booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)},
pages = {23:1--23:12},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-267-9},
ISSN = {2190-6807},
year = {2023},
volume = {109},
editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/17793},
URN = {urn:nbn:de:0030-drops-177936},
doi = {10.4230/OASIcs.EVCS.2023.23},
annote = {Keywords: SML, language specification, lexicalisation, parsing, ambiguity}
}
|
Keywords: |
|
SML, language specification, lexicalisation, parsing, ambiguity |
|
Collection: |
|
Eelco Visser Commemorative Symposium (EVCS 2023) |
|
Issue Date: |
|
2023 |
|
Date of publication: |
|
21.03.2023 |
