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

DOI10.1016/J.JLAP.2010.07.006zbMATH Open1204.68071OpenAlexW1975296877MaRDI QIDQ710673FDOQ710673

Peter J. 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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

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

Cited In (2)

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

Uses Software

• DrScheme
• Eiffel
• GHC
• MzLib

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)