Programs — CMSC 22100/32100; Fall 2011

Sample Code

fun-interp.tgz, a tarball containing a complete interactive interpreter for the Fun language.
calc.tgz, a tarball containing a complete interactive calculator for the minimal arithmetic expression language
bigcalc.tgz, a tarball containing an interactive calculator for a greatly expanded expression language including booleans, conditionals, variable declarations, function definitions
arith.sml: arithmetic with let, calculating free variables
arith-interp.sml: simple interpreter for arithmetic with let (single variable substitutions)
arith-SOS.sml: SOS-style evaluator for arithmetic using substitutions
arith-ENV.sml: environment-based evaluator for arithmetic
arith-EV.sml: EV-style evaluator for arithmetic usingsubstitutions
arith.scm: environment-based evaluator for arithmetic (scheme version)
Big-step evaluator for pure lambda calculus
Big-step evaluator for pure lambda calculus (alternate version)
Evaluator for lambda calculus using environments
Tarball of code for Reynolds "Definitional Interpreters" paper

Last modified: Mon Nov 14 14:36:14 CST 2011