CS 541 Lecture -*- Outline -*- ** Standard semantics *** use continuations for control and data flow *** standard signatures for valuation functions => easy to compare languages given in this style *** Example: Standard semantics of FL! Expcont, Cmdcont (recall expressions vs. commands) *domains, slide 5* valE takes an expression continuation *slide 6* procedures also take expression continuations *slide 5* error-cont on *slide 5* handles errors, top-level cont is identity look at semantic clauses (roughly in order)