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