Stateful manifest contracts

DOI10.1145/3009837.3009875zbMath1380.68105OpenAlexW2567080712MaRDI QIDQ5370886

Atsushi Igarashi, Taro Sekiyama

Publication date: 20 October 2017

Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

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

zbMATH Keywords

contractsassertioncomputational effectsrefinement typesdynamic verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Stateful manifest contracts