Harmless advice

DOI10.1145/1111037.1111071MaRDI QIDQ5348938zbMATH OpenOpenAlexFDO

Authors

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.1111071

zbMATH Keywords

aspect-orientedaspectsharmless advicenoninterference

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A theory of aspects
• Aspects preserving properties
• A type-theoretic interpretation of pointcuts and advice
• \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning
• scientific article; zbMATH DE number 2036329

Cited in

(3)

• Side-effect localization for lazy, purely functional languages via aspects
• Aspect Categories and Classes of Temporal Properties
• Aspects preserving properties

This page was built for publication: Harmless advice

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