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 (Full text available)

PDF
Download (331kB)
[img]
Preview
Postscript
Download (329kB)
[img]
Preview

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: Monograph (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: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 12 Aug 2009 16:18
Last Modified: 06 Sep 2011 03:43
Resource URI: http://kar.kent.ac.uk/id/eprint/21122 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year