Static contract checking for Haskell

DOI10.1145/1480881.1480889MaRDI QIDQ5261504zbMATH OpenOpenAlexFDO

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

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

zbMATH Keywords

contract satisfactionstatic contract checking

Mathematics Subject Classification ID

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

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

Cited in

(16)

• Combining static and dynamic contract checking for Curry
• Refinement types for Haskell
• HALO, Haskell to logic through denotational semantics
• Second-order programs with preconditions
• Static contract checking with abstract interpretation
• Transformations for compositional verification of assumption-commitment properties
• Parametricity for Haskell with Imprecise Error Semantics
• An extended account of contract monitoring strategies as patterns of communication
• Gradual type theory
• Combining static and dynamic contract checking for Curry
• Practical typed lazy contracts
• The interaction of contracts and laziness
• Higher order symbolic execution for contract verification and refutation
• Testing and tracing lazy functional programs using QuickCheck and Hat
• Space-efficient gradual typing
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation

Describes a project that uses

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)