2026-08-06T22:26:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:17793 2024-03-06T10:32:00Z ddc:004 open_access

Analysing the SML97 Definition: Lexicalisation Scott, Elizabeth Johnstone, Adrian SML language specification lexicalisation parsing ambiguity 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Elizabeth Scott and Adrian Johnstone 2023 Is Part Of OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.EVCS.2023.23 urn:nbn:de:0030-drops-177936 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.23 eng https://creativecommons.org/licenses/by/4.0/legalcode