Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2009 - Im Focus das Leben P-154, 2946-2959 (2008).

Gesellschaft für Informatik, Bonn
2008


Editors

Stefan Fischer, Erik Maehle, Rüdiger Reischuk (eds.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

True Lies: Lazy Contracts for Lazy Languages

Markus Degen , Peter Thiemann and Stefan Wehr

Abstract


Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract monitoring. Contract monitoring for lazy programming languages does not have a generally accepted basis. This paper discusses three approaches, eager, semi-eager, and lazy monitoring, all of which are flawed. The first two may change program behavior, while the last two may lead to silent contract violations.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-241-3


Last changed 24.01.2012 22:11:12