Aspects preserving properties

DOI10.1016/j.scico.2011.10.010zbMath1243.68143OpenAlexW2087576741MaRDI QIDQ436364

Pascal Fradet, Rémi Douence, Simplice Djoko Djoko

Publication date: 20 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.10.010

zbMATH Keywords

semanticsproofsaspect weavingtemporal properties

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (2)

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ Aspects preserving properties

Uses Software

• MAVEN
• PolyAML
• Aspectual Caml

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Aspects preserving properties
• Typed parametric polymorphism for aspects
• \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning
• Poly _AML
• Aspectual Caml
• Modular Verification of Strongly Invasive Aspects
• Aspect Categories and Classes of Temporal Properties
• Enforcing trace properties by program transformation
• A theory of aspects
• CONCUR 2004 - Concurrency Theory
• Harmless advice
• Programming Languages and Systems
• Anti-pattern Matching
• MAVEN: Modular Aspect Verification

This page was built for publication: Aspects preserving properties