Static contract checking for Haskell
From MaRDI portal
Publication:5261504
DOI10.1145/1480881.1480889zbMath1315.68107OpenAlexW2059703978MaRDI QIDQ5261504
Koen Claessen, Dana N. Xu, Simon L. 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
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Transformations for Compositional Verification of Assumption-Commitment Properties ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ Higher order symbolic execution for contract verification and refutation ⋮ Space-efficient gradual typing ⋮ The interaction of contracts and laziness ⋮ 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 ⋮ Gradual type theory
Uses Software
This page was built for publication: Static contract checking for Haskell
