The interaction of contracts and laziness

DOI10.1007/S10990-013-9094-YzbMATH Open1360.68325OpenAlexW1996450703MaRDI QIDQ526445FDOQ526445

Authors: Markus Degen, Peter J. Thiemann, Stefan Wehr 

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

Recommendations

• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Practical typed lazy contracts
• Complete monitors for behavioral contracts
• Expressing contract monitors as patterns of communication
• An extended account of contract monitoring strategies as patterns of communication

zbMATH Keywords

contractslaziness

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
• Practical typed lazy contracts
• Sound and complete models of contracts
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contracts made manifest
• Static contract checking for Haskell
• Implementation of Functional Languages
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

Cited In (5)

• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• An extended account of contract monitoring strategies as patterns of communication
• Complete monitors for behavioral contracts
• Procrastination in teams and contract design
• Gradual type theory

Uses Software

• Haskell
• Eiffel
• Racket

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526445)