Modular Predicate Transformer Semantics
Stc
Date: 2005 03 24
Time: 11:45
Room: CGN room C004
Title: Modular Predicate Transformer Semantics
Abstract
Predicate transformer semantics, a variant on Hoare logics, allow for effective mechanizations of semantics of programming languages. However, traditional formulations suffer from bad extensibility. This talk will present a way of constructing predicate transformer semantics compositionally, while keeping them sound along the way.
