CS 541 Lecture -*- Outline -*- * Operational semantics summary ** good points of operational semantics Q: what are some of the good points of operational semantics? closely related to interpreter/compiler helpful for studying efficiency use simple concepts ==> easy to use for informal explanation works well with concurrency... ** problems with operational semantics Q: what are some of the bad points of operational semantics? use text as the meaning of some declarations hard to see meaning of recursive things, only get a process