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

DOI10.1016/J.JLAP.2010.07.006MaRDI QIDQ710673zbMATH OpenOpenAlexFDO

Authors Markus Degen, Peter J. Thiemann, Stefan Wehr

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

type and effect systemcontract monitoringformal systemcall-by-valuecall-by-name

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• The interaction of contracts and laziness
• Expressing contract monitors as patterns of communication
• Complete monitors for behavioral contracts
• An extended account of contract monitoring strategies as patterns of communication
• Session-typed concurrent contracts

Cites work

• scientific article; zbMATH DE number 108549 (Why is no real title available?)
• scientific article; zbMATH DE number 1231611 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 1497780 (Why is no real title available?)
• scientific article; zbMATH DE number 2087428 (Why is no real title available?)
• A sound (and complete) model of contracts
• Contracts as Pairs of Projections
• Contracts for higher-order functions
• Implementation of Functional Languages
• Notions of computation and monads
• Static contract checking for Haskell
• The marriage of effects and monads
• Typed Contracts for Functional Programming
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation

Cited in

(6)

• An extended account of contract monitoring strategies as patterns of communication
• Complete monitors for behavioral contracts
• Space-efficient latent contracts
• Expressing contract monitors as patterns of communication
• Executable contracts for Elixir
• The interaction of contracts and laziness

Describes a project that uses

Uses Software

• MzLib
• GHC
• Eiffel
• DrScheme

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

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