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
Building Verification Condition Generators By Compositional Extensions
Stc
Date: 2005-09-29 Time: 11:45 Room: BBL room 471 ----+++ Speaker: [[Main.ArthurVanLeeuwen][Arthur van Leeuwen]] ----+++ Title: Building Verification Condition Generators by Compositional Extensions ----+++ Abstract In this talk we present a technique that combines algebraic datatypes and monads to build derivative verification condition generators (VCGs) by extending a base VCG. Extensions are compositional and can be added in arbitrary order without modifying the base VCG. We show how we achieve this result by extending a simple language $L_0$ with a construct for exception handling.
