MRI: Modular reasoning about interference in incremental programming
From MaRDI portal
Publication:5300700
DOI10.1017/S0956796812000354zbMath1267.68090OpenAlexW1992648627MaRDI QIDQ5300700
William R. Cook, Bruno C. d. S. Oliveira, Tom Schrijvers
Publication date: 28 June 2013
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796812000354
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)
Related Items (2)
Towards a practical library for monadic equational reasoning in Coq ⋮ Chemical foundations of distributed aspects
Cites Work
- Semantics and scoping of aspects in higher-order languages
- A type-theoretic interpretation of pointcuts and advice
- Practical type inference for arbitrary-rank types
- Aspect Categories and Classes of Temporal Properties
- Modular specification of frame properties in JML
- SIMULA: an ALGOL-based simulation language
This page was built for publication: MRI: Modular reasoning about interference in incremental programming