Modular set-based analysis from contracts

DOI10.1145/1111037.1111057zbMath1369.68147OpenAlexW2100962534MaRDI QIDQ5348925

Matthias Felleisen, Philippe Meunier, Robert Bruce Findler

Publication date: 21 August 2017

Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

set-based analysisstatic debuggingmodular analysisruntime contracts

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Systematic abstraction of abstract machines ⋮ Higher order symbolic execution for contract verification and refutation ⋮ Typing Local Control and State Using Flow Analysis