Blame assignment for higher-order contracts with intersection and union

DOI10.1145/2784731.2784737zbMath1360.68365OpenAlexW2044710350WikidataQ131130259 ScholiaQ131130259MaRDI QIDQ2981989

Peter Thiemann, Matthias S. Keil

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

zbMATH Keywords

intersectionunionblamehigher-order contracts

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A Debugger-Cooperative Higher-Order Contract System in Python ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ Session-typed concurrent contracts

Uses Software

• JavaScript
• TreatJS

This page was built for publication: Blame assignment for higher-order contracts with intersection and union