Stefan Kahrs  Home/Search
Context Related
| dcs.ed.ac.uk/pub/l...ECSLFCS93257.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: site.uottawa.ca/~dduchier...cyber (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Definition of Standard ML contains several errors and ambiguities. Some of them have already been published in the 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... (Update)
Context of citations to this paper: More
...language is very tedious and error prone. Some of the properties claimed and proved for SML in [MT91] turned out to be wrong [Kah93]. The original proofs were not informal, but they were not rigorous enough to discover the problematic cases. Proving properties of that...
.... in every detail will have the status of a working scientific hypothesis, to be subjected to the scrutiny of experts in the manner of [Kah93] Next we outline the stages of our programme. Some overlap between the various stages will be possible once the basics are in place...
Cited by: More
C formalised in HOL - Norrish (1998) (Correct)
Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
A Portable Standard ML Implementation - Elsman (1994) (Correct)
Active bibliography (related documents): More All
0.2: Applicative Programming and Specification - Gilmore (1993) (Correct)
0.2: Semantics of Memory Management for Polymorphic Languages - Morrisett, Harper (1997) (Correct)
0.2: Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Similar documents based on text: More All
0.3: The Definition of Extended ML - Stefan Kahrs Donald (1994) (Correct)
0.2: Joint commentary on "The Importance of Duration in.. - Ariely, Kahneman.. (Correct)
0.1: The New C Standard: An Economic and Cultural Commentary - Jones (2002) (Correct)
Related documents from co-citation: More All
12: The definition of Standard ML (context) - Miller, Tofte et al. - 1990
10: Commentary on Standard ML (context) - Milner, Tofte - 1990
5: A theory of type polymorphism in programming (context) - Milner - 1978
BibTeX entry: (Update)
Stefan Kahrs. Mistakes and ambiguities in the definition of Standard ML. Technical Report ECS-LFCS-93-257, Laboratory for Foundations of Computer Science, University of Edinburgh, April 1993. http://citeseer.ist.psu.edu/kahrs93mistakes.html More
@techreport{ stefan93mistakes,
author = "Kahrs, Stefan",
title = "{M}istakes and {A}mbiguities in the {D}efinition of {S}tandard {ML}",
number = "ECS-LFCS-93-257",
month = "April",
year = "93",
url = "citeseer.ist.psu.edu/kahrs93mistakes.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
10 and Jeffrey Ullman (context) - Aho, Sethi - 1986
5 Technical Report CS-TR (context) - Appel, of et al. - 1992
1 Formalizing SML's arithmetic by tracking cumulated error bou.. (context) - Harley - 1992
1 Technical Report ECS-LFCS (context) - Rothwell, the - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.site.uottawa.ca/~dduchier/cyber.html):
Mistakes and Ambiguities in the Definition of Standard ML - Addenda - Kahrs (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC