3 ms·
SML is one of a very few languages that have a formal description of the meaning of the language. http://sml-family.org/sml97-defn.pdf http://sml-family.org/sm
by jmartinpetersen 11y ago
SML is one of a very few languages that have a formal description of the meaning of the language.
http://sml-family.org/sml97-defn.pdf http://sml-family.org/sml97-defn.pdf
- qznc 11y agoThis is also true for C [0,1] and other mainstream languages [2] now. [0] http://robbertkrebbers.nl/thesis.html http://robbertkrebbers.nl/thesis.html [1] https://github.com/kframework/c-semantics https://github.com/kframework/c-semantics [2] http://www.kframework.org/index.php/Projects http://www.kframework.org/index.php/Projects