MRI: modular reasoning about interference in incremental programming

DOI10.1017/S0956796812000354MaRDI QIDQ5300700zbMATH OpenOpenAlexFDO

Authors Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Incremental Reasoning for Multiple Inheritance
• Systematic derivation of incremental programs
• Incremental reasoning with lazy behavioral subtyping for multiple inheritance
• Monads for incremental computing
• Adaptive functional programming

Cites work

• A type-theoretic interpretation of pointcuts and advice
• Aspect Categories and Classes of Temporal Properties
• Modular specification of frame properties in JML
• Practical type inference for arbitrary-rank types
• Semantics and scoping of aspects in higher-order languages
• SIMULA: an ALGOL-based simulation language

Cited in

(3)

• Chemical foundations of distributed aspects
• Towards a practical library for monadic equational reasoning in Coq
• A practical formalization of monadic equational reasoning in dependent-type theory

This page was built for publication: MRI: modular reasoning about interference in incremental programming

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