Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

DOI10.1016/j.jlap.2010.07.006zbMath1204.68071OpenAlexW1975296877MaRDI QIDQ710673

Peter Thiemann, Stefan Wehr, Markus Degen

Publication date: 22 October 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.07.006

zbMATH Keywords

formal systemtype and effect systemcontract monitoringcall-by-valuecall-by-name

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

An extended account of contract monitoring strategies as patterns of communication ⋮ The interaction of contracts and laziness

Uses Software

• DrScheme
• Eiffel
• GHC
• MzLib

Cites Work

• Notions of computation and monads
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
• Contracts for higher-order functions
• Typed Contracts for Functional Programming
• Contracts as Pairs of Projections
• A sound (and complete) model of contracts
• Static contract checking for Haskell
• The marriage of effects and monads
• Implementation of Functional Languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Eager and delayed contract monitoring for call-by-value and call-by-name evaluation