This page contains supporting material for Component-Based Dynamic Semantics for Caml Light, a talk that will be presented at the SLS workshop in Cambridge, by Martin Churchill and Peter Mosses. We have:
- The extended abstract [sls13]
- Slides from Martin’s presentation [slstalk]
- Specification of component-based dynamic semantics for Caml Light [caml-light-dynamics] . This can be animated using the MetaEnvironment and Prolog, allowing one to run programs according to the semantics.