Location: CLT701 Date/Time: 28th October 2014, 14:00 - 15:00
Speaker(s): Professor Peter D Mosses.
Formal specifications of programming languages can be useful for documenting their design, and as a basis for developing implementations and reasoning about program correctness. But although language developers generally specify syntax formally, they stick to informal prose for semantics. This is at least partly due to the effort required to specify the formal semantics of large-scale languages with conventional frameworks, and to update such specifications when languages evolve. The talk introduces and illustrates the component-based approach, and explains how funcons can be specified independently using a modular variant of structural operational semantics.