Sciweavers

GI
2009
Springer

True Lies: Lazy Contracts for Lazy Languages

13 years 8 months ago
True Lies: Lazy Contracts for Lazy Languages
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.
Markus Degen, Peter Thiemann, Stefan Wehr
Added 25 Jul 2010
Updated 25 Jul 2010
Type Conference
Year 2009
Where GI
Authors Markus Degen, Peter Thiemann, Stefan Wehr
Comments (0)