MiniMAO₁: an imperative core language for studying aspect-oriented reasoning

DOI10.1016/J.SCICO.2006.02.009MaRDI QIDQ856924zbMATH OpenOpenAlexFDO

Authors Curtis Clifton, Gary T. Leavens

Publication date 14 December 2006

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

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

zbMATH Keywords

formal semanticsaspect-oriented programmingMiniMAO calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A theory of aspects
• A type-theoretic interpretation of pointcuts and advice
• scientific article; zbMATH DE number 1951124
• Aspectual Caml: an aspect-oriented functional language
• scientific article; zbMATH DE number 2036329

Cited in

(5)

• Compositional type checking of delta-oriented software product lines
• Chemical foundations of distributed aspects
• Aspects preserving properties
• A type-theoretic interpretation of pointcuts and advice
• Harmless advice

Describes a project that uses

Uses Software

• AspectJ

This page was built for publication: \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning

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