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

LA home
Computing
FP
 SML
  SML97

Also see:
den. semantics
In sml:
use "toy.sml";
run "prog.fact.toy";
etc.
 
prog.*.toy   -- programs in the imperative language being defined.
 
www:

free:
Linux
 Ubuntu operating-sys
OpenOffice office-suite
The GIMP ~photoshop
Firefox web-browser
FlashBlock flash on/off

SML:
:: cons
[x1,...] list
[ ] list
@ append
fn =>  &lambda .
: has type
Compared
© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Friday, 18-May-2012 13:43:32 EST.