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

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)

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)

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

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)