Opening book details…
Can I read MiniMAO1 : An imperative core language for studying aspect-oriented reasoning on EtoBox?
MiniMAO1 : An imperative core language for studying aspect-oriented reasoning by Curtis Clifton; Gary T. Leavens is a Computer Science article available to read on EtoBox.
What is MiniMAO1 : An imperative core language for studying aspect-oriented reasoning about?
This paper describes MiniMAO 1 , a core aspect-oriented language. Unlike previous aspect-oriented calculi and core languages, MiniMAO 1 allows around advice to change the target object of an advised operation before proceeding. MiniMAO 1 accurately models the ways AspectJ allows changing the target object, e.g., at call join points. Practical uses for changing the target object using advice include proxies and other wrapper objects. MiniMAO 1 was designed to serve as a core language for studying modular specification and verification in the aspect-oriented paradigm. To this end MiniMAO 1 • has an imperative, reference-based semantics, • models the control-flow effects of changing target object bindings with advice, and • has a safe static type system. The first two features make MiniMAO 1 suitable for the study of aspect-oriented mechanisms, such as those found in AspectJ. These features are important for studying the interaction of aspect-oriented language features with modular specification and verification. A statically type-safe language is also important for such research. AspectJ does not have a safe static type system. To achieve static type safety MiniMAO 1 uses a slightly
Who reads MiniMAO1 : An imperative core language for studying aspect-oriented reasoning?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Curtis Clifton; Gary T. Leavens
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0167-6423)
- Published
- 2006
- Language
- EN
- Field
- Computer Science (Physical Sciences)