Skip to main content

Mistakes and Ambiguities in the definition of Standard ML

Kahrs, Stefan (1993) Mistakes and Ambiguities in the definition of Standard ML. Technical report. University of Edinburgh (KAR id:21122)

Abstract

The em Definition of Standard ML contains several errors and ambiguities. Some of them have already been published in the em Commentary on Standard ML, but the list given there is incomplete. The paper lists all errors known to me today, including the errors listed in the Commentary. On most of the others I came across when writing the semantics of Extended ML. Most errors are supplied with an explanation ``what goes wrong'' and with a suggested correction. I understand ``error'' in a very broad sense --- ranging from typos to serious flaws in the rules. Some of the problems I mention are originated by a certain tension between formal definitions and informal explanations, e.g. overloading is informally explained though impossible in the given formal setting. Some parts of the paper are difficult to understand without prior knowledge of the Definition and the Commentary, because I rely on the notation and jargon introduced in these books. However, the nature of this paper has it that the various sections do not depend on each other, making it possible for somebody not familiar with the entrails of SML to read the less technical sections on their own.

Item Type: Reports and Papers (Technical report)
Additional information: An update listing further errors can be found at t ftp://ftp.dcs.ed.ac.uk/pub/smk/SML/errors-new.ps.Z.
Uncontrolled keywords: Standard ML, definition, bugs
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 12 Aug 2009 16:18 UTC
Last Modified: 16 Nov 2021 09:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21122 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.