\(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning

DOI10.1016/J.SCICO.2006.02.009zbMath1170.68421OpenAlexW2112780297MaRDI QIDQ856924

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

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

Related Items (3)

Compositional type checking of delta-oriented software product lines ⋮ Aspects preserving properties ⋮ Chemical foundations of distributed aspects

Uses Software

• AspectJ

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