The interaction of contracts and laziness

@inproceedings{Degen2012TheIO,
  title={The interaction of contracts and laziness},
  author={Markus Degen and Peter Thiemann and Stefan Wehr},
  booktitle={PEPM},
  year={2012}
}
Contract monitoring for strict higher-order functional languages has an intuitive meaning, an established theoretical basis, and a standard implementation. For lazy functional languages, the situation is less clear-cut. There is no agreed-upon intended meaning or theory, and there are competing implementations with subtle semantic differences. This paper proposes meaning preservation and completeness as formally defined properties for evaluating implementations of contract monitoring. Both… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS

Gradual Type Theory (Extended Version)

VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Practical typed lazy contracts

  • ICFP
  • 2012
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Kent Academic Repository

VIEW 2 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-9 OF 9 REFERENCES

A semantics for lazy assertions

  • PEPM
  • 2011
VIEW 13 EXCERPTS
HIGHLY INFLUENTIAL

Static contract checking for Haskell

  • POPL
  • 2009
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Contracts made manifest

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Monadic, Prompt Lazy Assertions in Haskell

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Sound and complete models of contracts

  • J. Funct. Program.
  • 2006
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

jContractor: Design by contract for Java

P. Abercrombie, M. Karaorman
  • http://jcontractor.sourceforge.net/,
  • 2003
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Icontract - the java design by contract tool

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL