True Lies: Lazy Contracts for Lazy Languages (Faithfulness is Better than Laziness)

Markus Degen, Peter Thiemann, and Stefan Wehr

In 4. Arbeitstagung Programmiersprachen (ATPS'09). Lübeck, Germany. October 2009.

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.

Bibtex

@INPROCEEDINGS{DegenThiemannWehr2009,
  author = {Markus Degen and Peter Thiemann and Stefan Wehr},
  title = {True Lies: Lazy Contracts for Lazy Languages (Faithfulness is Better than Laziness)},
  booktitle = {4. Arbeitstagung Programmiersprachen (ATPS'09)},
  month = {October},
  year = 2009,
  address = {Lübeck, Germany}
}

Resources

• Preprint: .pdf (© Gesellschaft für Informatik, Bonn, Germany)
• Sources:
  • Eager contract monitoring
  • Examples for eager contract monitoring
  • Semi-eager contract monitoring
  • Examples for semi-eager contract monitoring
  • Lazy contract monitoring