The interaction of contracts and laziness

DOI10.1007/s10990-013-9094-yzbMath1360.68325OpenAlexW1996450703MaRDI QIDQ526445

Peter Thiemann, Stefan Wehr, Markus Degen

Publication date: 15 May 2017

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-013-9094-y

zbMATH Keywords

contractslaziness

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

An extended account of contract monitoring strategies as patterns of communication ⋮ Gradual type theory

Uses Software

• Haskell
• Eiffel
• Racket

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
• Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24--26, 2006. Proceedings.
• Complete Monitors for Behavioral Contracts
• Contracts for higher-order functions
• Typed Contracts for Functional Programming
• Contracts as Pairs of Projections
• Well-Typed Programs Can’t Be Blamed
• Practical typed lazy contracts
• Contracts made manifest
• Static contract checking for Haskell
• Implementation of Functional Languages
• Sound and complete models of contracts

This page was built for publication: The interaction of contracts and laziness