Curtis Clifton, Gary T. Leavens  Home/Search
Context Related
| iastate.edu/~leave...liftonleavens.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iastate.edu/~le...ndex2005.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the semantics of MiniMAO 1 , a core aspectoriented calculus. Unlike previous aspect-oriented calculi, it 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. (Update)
Cited by: More
A Type-theoretic Interpretation of Pointcuts and Advice - Ligatti, Walker, Zdancewic (2005) (Correct)
MiniMAO: Investigating the Semantics of Proceed - Clifton, Leavens (2005) (Correct)
Active bibliography (related documents): More All
1.0: µABC: A Minimal Aspect Calculus - Bruns, Jagadeesan, Jeffrey, Riely (2004) (Correct)
0.3: μABC: A Minimal Aspect Calculus - Bruns, Jagadeesan, Jeffrey, Riely (2004) (Correct)
0.2: Call and Execution Semantics in AspectJ - Barzilay, Tyszberowicz, Feldman.. (2004) (Correct)
Similar documents based on text: More All
0.8: MultiJava: Modular Open Classes and Symmetric.. - Clifton, Leavens, .. (2000) (Correct)
0.5: Observers and Assistants: A Proposal for Modular.. - Clifton, Leavens (2002) (Correct)
0.4: Spectators and Assistants: Enabling Modular Aspect-Oriented.. - Clifton, Leavens (2002) (Correct)
Related documents from co-citation: More All
2: Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming - Aldrich - 2004
2: Dantas and David Walker (context) - Daniel - 2005
2: Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
BibTeX entry: (Update)
Curtis Clifton and Gary T. Leavens. MiniMAO: Investigating the semantics of proceed. Technical Report TR05-01, Iowa State University, 2005. Available from ftp://ftp.cs. iastate.edu/pub/techreports/TR05-01/TR.ps.gz. http://citeseer.ist.psu.edu/clifton05minimao.html More
@misc{ clifton05minimao,
author = "C. Clifton and G. Leavens",
title = "MiniMAO: Investigating the semantics of proceed",
text = "Curtis Clifton and Gary T. Leavens. MiniMAO: Investigating the semantics
of proceed. Technical Report TR05-01, Iowa State University, 2005. Available
from ftp://ftp.cs. iastate.edu/pub/techreports/TR05-01/TR.ps.gz.",
year = "2005",
url = "citeseer.ist.psu.edu/clifton05minimao.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
306 A syntactic approach to type soundness - Wright, Felleisen - 1994
230 An overview of AspectJ - Kiczales, Hilsdale et al. - 2001
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb - 1992
117 Featherweight Java: A minimal core calculus for Java and GJ - Igarashi, Pierce et al. - 1999
116 Aspect-oriented programming - Kiczales, Lamping et al. - 1997
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
40 A semantics for advice and dynamic join points in aspect-ori.. - Wand, Kiczales et al. - 2004
35 A formal definition of crosscuts - Douence, Motelet et al. - 2001
18 Open modules: A proposal for modular reasoning in aspect-ori.. - Aldrich - 2004
18 A programmer's reduction semantics for classes and mixins - Flatt, Krishnamurthi et al. - 1999
15 A calculus of untyped aspect-oriented programs - Jagadeesan, Jeffrey et al. - 2003
11 Modeling crosscutting in aspect-oriented mechanisms (context) - Masuhara, Kiczales - 2003
6 and Jay Ligatti (context) - Walker, Zdancewic - 2003
5 Dantas and David Walker (context) - Daniel - 2005
3 A typed calculus for aspect oriented programs - Jagadeesan, Jeffrey et al. - 2004
2 MiniMAO: Investigating the semantics of proceed - Clifton, Leavens - 2005
2 abc: A minimal aspect calculus - Bruns, Jagadeesan et al. - 2004
Documents on the same site (http://www.cs.iastate.edu/~leavens/FOAL/index-2005.shtml): More
Expressiveness and Complexity of Crosscut Languages - Lieberherr, Palm, Sundaram (2005) (Correct)
Back to the Future: Pointcuts as Predicates over Traces - Klose, Ostermann (2005) (Correct)
Aspectual Caml: an Aspect-Oriented Functional Language - Tatsuzawa, Masuhara, Yonezawa (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC