DROPS

Document

DOI: 10.4230/OASIcs.EVCS.2023.23

Analysing the SML97 Definition: Lexicalisation

Authors: Elizabeth Scott and Adrian Johnstone

Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)

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.

Cite as

Elizabeth Scott and Adrian Johnstone. Analysing the SML97 Definition: Lexicalisation. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 23:1-23:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@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/entities/document/10.4230/OASIcs.EVCS.2023.23},
  URN =		{urn:nbn:de:0030-drops-177936},
  doi =		{10.4230/OASIcs.EVCS.2023.23},
  annote =	{Keywords: SML, language specification, lexicalisation, parsing, ambiguity}
}

Search Results

Documents authored by Johnstone, Adrian

Analysing the SML97 Definition: Lexicalisation

Abstract

Cite as