Jonathan Aldrich  Home/Search
Context Related
| cmu.edu/~aldrich/papers/foal04.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: cmu.edu/~aldrich/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper makes two contributions to a formal understanding of aspect-oriented programming. First, we define TinyAspect, a formal model capturing core AOP concepts. Compared to previous formalizations of AOP constructs, TinyAspectis extremely small, models aspects at the source level, and is defined using structured operational semantics and syntax-directed typing rules. In combination, these properties make it easy to investigate aspect-oriented language extensions and prove theorems about... (Update)
Cited by: More
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (Correct)
Selective Open Recursion: - Modular Reasoning About (Correct)
Open Modules: - Reconciling Extensibility And (Correct)
Active bibliography (related documents): More All
0.8: Open Modules: Modular Reasoning in Aspect-Oriented Programming - Aldrich (Correct)
0.5: Open Modules: Modular Reasoning about Advice - Aldrich (2004) (Correct)
0.4: Open Modules: Reconciling Extensibility and Information Hiding - Aldrich (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
10: An overview of AspectJ - Kiczales, Hilsdale et al. - 2001
10: Aspectual Collaborations: Combining Modules and Aspects - Lieberherr, Lorenz et al. - 2003
9: the criteria to be used in decomposing systems into modules (context) - Parnas - 1972
BibTeX entry: (Update)
J. Aldrich. Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming. In Foundations of Aspect Languages, March 2004. http://citeseer.ist.psu.edu/article/aldrich04open.html More
@misc{ aldrich04open,
author = "J. Aldrich",
title = "Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming",
text = "J. Aldrich. Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented
Programming. In Foundations of Aspect Languages, March 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/article/aldrich04open.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
427 the Criteria to be Used in Decomposing Systems into Modules (context) - Parnas - 1972
230 An Overview of AspectJ - Kiczales, Hilsdale et al. - 2001
156 Degrees of Separation: Multi-Dimensional Separation of Conce.. - Tarr, Ossher et al. - 1999
97 and Parametric Polymorphism (context) - Reynolds, Abstraction - 1983
58 Aspect-Oriented Programming is Quantification and Obliviousn.. - Filman, Friedman - 2000
52 MultiJava: Modular Open Classes and Symmetric Multiple Dispa.. - Clifton, Leavens et al. - 2000
51 A Calculus of Module Systems - Ancona, Zucca - 2002
40 A Semantics for Advice and Dynamic Join Points in Aspect-Ori.. - Wand, Kiczales et al. - 2003
31 Aspectual Collaborations: Combining Modules and Aspects - Lieberherr, Lorenz et al. - 2003
30 Pointcuts and Advice in Higher-Order Languages - Tucker, Krishnamurthi - 2003
28 DJ: Dynamic Adaptive Programming in Java (context) - Orleans, Lieberherr - 2001
21 Observers and Assistants: A Proposal for Modular Aspect-Orie.. - Clifton, Leavens - 2002
19 A Theory of Aspects - Walker, Zdancewic et al. - 2003
18 Open Modules: A Proposal for Modular Reasoning in Aspect-Ori.. - Aldrich - 2004
16 Addressing Practical Software Development Issues in AspectJ .. - Gudmundson, Kiczales - 2001
14 A Semantical Approach to Method-Call Interception (context) - Lammel - 2002
14 Information Hiding and Modularity (context) - Dantas, Walker - 2003
13 An Untyped Calculus of Aspect-Oriented Programs (context) - Jagadeesan, Jeffrey et al. - 2003
13 Open Modules: Reconciling Extensibility and Information Hidi.. - Aldrich - 2004
11 ComposeJ - The Development of a Preprocessor to Facilitate C.. (context) - Wichman - 1999
11 Modeling Crosscutting in Aspect-Oriented Mechanisms (context) - Masuhara, Kiczales - 2003
10 Featherwieght Java: a Minimal Core Calculus for Java and GJ (context) - Igarashi, Pierce et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~aldrich/papers/): More
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
Static Analyses for Eliminating Unnecessary.. - Aldrich, Chambers.. (1999) (Correct)
Improving System Dependability by Enforcing.. - Abi-Antoun, Aldrich, .. (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