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

DOI10.1016/J.SCICO.2006.02.009zbMATH Open1170.68421OpenAlexW2112780297MaRDI QIDQ856924FDOQ856924

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

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

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)

Cited In (5)

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

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)