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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]prog.fact.toy21-Feb-2017 14:03 183
[   ]prog.loop.toy21-Feb-2017 14:03 61
[   ]prog.scope.toy21-Feb-2017 14:03 136
[   ]prog.write.toy21-Feb-2017 14:03 9
[TXT]toy.sml21-Feb-2017 14:03 557
[   ]toySemantics.sml21-Feb-2017 14:03 5.5K
[   ]toySyntax.sml21-Feb-2017 14:03 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