Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Modular Predicate Transformer Semantics
Stc
Date: 2005 03 24 Time: 11:45 Room: CGN room C004 ----+++ Speaker: [[Main.ArthurVanLeeuwen][Arthur van Leeuwen]] ----+++ 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.
