Index of /~lloyd/tildeFP/SML/1997/semantics.toy

      Name                    Last modified       Size  Description

[DIR] Parent Directory 15-Aug-2006 18:55 - [   ] prog.write.toy 15-Apr-2005 13:09 1k [   ] prog.loop.toy 15-Apr-2005 13:04 1k [   ] prog.scope.toy 15-Apr-2005 13:04 1k [   ] prog.fact.toy 15-Apr-2005 13:42 1k [   ] toy.sml 20-Jun-2005 09:59 1k [   ] toySemantics.sml 20-Jun-2005 09:54 5k [   ] toySyntax.sml 20-Jun-2005 09:59 10k

^home^ ^FP^ ^SML^ ^SML-97^

"Direct" denotational semantics of a toy imperative language expressed in (S)ML-97.

In sml:
use "toy.sml";
run "prog.fact.toy";
etc.
 
prog.*.toy   -- programs in the imperative language being defined.
 
Also see:
[in LML]
[denotational semantics]
[book]
LA 2005