Manifest contracts for datatypes

DOI10.1145/2676726.2676996zbMATH Open1345.68072OpenAlexW2061127958MaRDI QIDQ2819804FDOQ2819804

Authors: Taro Sekiyama, Yuki Nishida, Atsushi Igarashi 

Publication date: 29 September 2016

Published in: Proceedings of the 42nd 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/2676726.2676996

Recommendations

• Polymorphic contracts
• Contracts made manifest
• Contracts made manifest
• Space-efficient manifest contracts
• Stateful manifest contracts

zbMATH Keywords

refinement typesalgebraic datatypescontract checkingdatatype translation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited In (8)

• An extended account of contract monitoring strategies as patterns of communication
• Polymorphic contracts
• Space-efficient manifest contracts
• Contracts made manifest
• Foundations of dependent interoperability
• Manifest contracts with intersection types
• Stateful manifest contracts
• Contracts made manifest

This page was built for publication: Manifest contracts for datatypes

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