Static contract checking for Haskell

DOI10.1145/1480881.1480889zbMATH Open1315.68107OpenAlexW2059703978MaRDI QIDQ5261504FDOQ5261504

Simon Peyton-Jones, Koen Claessen, Dana N. Xu

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480889

Recommendations

• HALO, Haskell to logic through denotational semantics
• Combining static and dynamic contract checking for Curry
• Practical typed lazy contracts
• Combining static and dynamic contract checking for Curry
• Refinement types for Haskell

zbMATH Keywords

static contract checkingcontract satisfaction

Mathematics Subject Classification ID

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

Cited In (9)

• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Second-Order Programs with Preconditions
• Parametricity for Haskell with Imprecise Error Semantics
• An extended account of contract monitoring strategies as patterns of communication
• Transformations for Compositional Verification of Assumption-Commitment Properties
• Gradual type theory
• Space-efficient gradual typing
• Higher order symbolic execution for contract verification and refutation
• The interaction of contracts and laziness

Uses Software

• Haskell

This page was built for publication: Static contract checking for Haskell

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