Aspects preserving properties

DOI10.1016/J.SCICO.2011.10.010MaRDI QIDQ436364zbMATH OpenOpenAlexFDO

Authors Simplice Djoko Djoko, Rémi Douence, Pascal Fradet

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

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

Recommendations

• Aspect Categories and Classes of Temporal Properties
• A theory of aspects
• Modular Verification of Strongly Invasive Aspects
• scientific article; zbMATH DE number 2040576
• MAVEN: Modular aspect verification and interference analysis

Cites work

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 108368 (Why is no real title available?)
• scientific article; zbMATH DE number 2018588 (Why is no real title available?)
• A theory of aspects
• Anti-pattern Matching
• Aspect Categories and Classes of Temporal Properties
• Aspects preserving properties
• Aspectual Caml: an aspect-oriented functional language
• CONCUR 2004 - Concurrency Theory
• Enforcing trace properties by program transformation
• Harmless advice
• MAVEN: Modular Aspect Verification
• Modular Verification of Strongly Invasive Aspects
• PolyAML: a polymorphic aspect-oriented functional programming language
• Programming Languages and Systems
• Proof methods for corecursive programs
• Typed parametric polymorphism for aspects
• \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning

Cited in

(12)

• scientific article; zbMATH DE number 2040576 (Why is no real title available?)
• An approach to weaving stateful aspects using LTS
• Aspects preserving properties
• Aspect Categories and Classes of Temporal Properties
• Modular Verification of Strongly Invasive Aspects
• Aspects of availability. Enforcing timed properties to prevent denial of service
• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• Most General Property-Preserving Updates
• An Expressive Aspect Language for System Applications with Arachne
• Harmless advice
• Preserving coarse properties
• Detection and Resolution of Weaving Interactions

Describes a project that uses

Uses Software

• MAVEN
• PolyAML
• Aspectual Caml

This page was built for publication: Aspects preserving properties

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