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
Go to the corresponding OASIcs Volume Portal

Scott, Elizabeth ; Johnstone, Adrian

Analysing the SML97 Definition: Lexicalisation

OASIcs-EVCS-2023-23.pdf (0.6 MB)


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

  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 =		{},
  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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI