You are here:
(02 Sep 2010,
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.
ore topic actions
Topic revision: r2 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?