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.

• Type: Conference
• Year: 2009
• Where: GI
• Authors: Markus Degen, Peter Thiemann, Stefan Wehr
• Keywords: Contract Monitoring, GI 2009, Lazy Programming Languages, Silent Contract Violations, Theoretical Computer Science