Personal tools
You are here: Home Events Lab lunch speakers 2010 Brian Campbell

Brian Campbell

Operational Semantics in Specifications

Operational semantics play a key role in the formal specifications used for the verification of programming tools such as compilers. Incomplete or buggy semantics can weaken the guarantees verification efforts provide. I will consider two examples of particular interest to me, and consider where (known) weaknesses lie and what effect they have on our confidence of the tools involved.

Document Actions