The interaction of contracts and laziness

DOI10.1007/S10990-013-9094-YMaRDI QIDQ526445zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

contractslaziness

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1497780 (Why is no real title available?)
• scientific article; zbMATH DE number 2163037 (Why is no real title available?)
• Complete monitors for behavioral contracts
• Contracts as Pairs of Projections
• Contracts for higher-order functions
• Contracts made manifest
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Functional and logic programming. 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24--26, 2006. Proceedings.
• Implementation of Functional Languages
• Practical typed lazy contracts
• Sound and complete models of contracts
• Static contract checking for Haskell
• Typed Contracts for Functional Programming
• Well-Typed Programs Can’t Be Blamed
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation

Cited in

(9)

• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Complete monitors for behavioral contracts
• Executable contracts for Elixir
• Practical typed lazy contracts
• Space-efficient latent contracts
• Procrastination in teams and contract design
• An extended account of contract monitoring strategies as patterns of communication
• Expressing contract monitors as patterns of communication
• Gradual type theory

Describes a project that uses

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)