Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

Defects in the Revised Definition of Standard ML

Andreas Rossberg

Technical Report, Saarland University, Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18., 2007/01/22, October 2001

The Definition of Standard ML is a comprehensive, formal specification of a full programming language. It probably is the most precise language specification to date. Nevertheless, it inevitably contains a certain number of bugs, ambiguities and grey areas. We list and discuss all known issues in the 1997 revision of the language definition.

Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18, 2007/01/22.

Download PDF        Show BibTeX               

@TECHREPORT{Rossberg:DefectsSML,
  title = {Defects in the Revised Definition of Standard ML},
  author = {Andreas Rossberg},
  year = {2001},
  month = {oct},
  institution = {{Saarland University}},
  note = {{Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18., 2007/01/22}},
}

Login to edit