David Walker, Steve Zdancewic, Jay Ligatti  Home/Search
Context Related
| princeton.edu/sip/projects...icfp03.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: princeton.edu/sip/projects/asp... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper defi#P the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its compact, well-defi ned core language. We argue that our framework is an e#ective way to give semantics to aspectoriented programming languages in general because the translation eliminates shallow syntactic di#erences between related constructs and permits defi nition of a clean, easy-tounderstand, and... (Update)
Cited by: More
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented .. - Aldrich (2004) (Correct)
Open Modules: Modular Reasoning about Advice - Aldrich (2004) (Correct)
Active bibliography (related documents): More All
0.7: A Theory of Aspects - Walker, Zdancewic, Ligatti (2003) (Correct)
0.4: A Type-theoretic Interpretation of Pointcuts and Advice - Ligatti, Walker, Zdancewic (2005) (Correct)
0.1: Aspects, Information Hiding and Modularity - Dantas, Walker (2003) (Correct)
Similar documents based on text: More All
0.3: A Language and System for Composing Security Policies - Bauer, Ligatti, Walker (2004) (Correct)
0.2: Run-time Principals in Information-flow Type Systems - Tse, Zdancewic (2004) (Correct)
0.2: A Type System for Robust Declassification - Zdancewic (2003) (Correct)
Related documents from co-citation: More All
18: Pointcuts and advice in higher-order languages - Tucker, Krishnamurthi - 2003
16: An overview of AspectJ - Kiczales, Hilsdale et al. - 2001
15: A semantics for advice and dynamic join points in aspect-oriented programming - Wand, Kiczales et al. - 2002
BibTeX entry: (Update)
D. Walker, S. Zdancewic, and J. Ligatti. A Theory of Aspects. In International Conference on Functional Programming, 2003. http://citeseer.ist.psu.edu/article/walker03theory.html More
@misc{ walker03theory,
author = "D. Walker and S. Zdancewic and J. Ligatti",
title = "A Theory of Aspects",
text = "D. Walker, S. Zdancewic, and J. Ligatti. A Theory of Aspects. In International
Conference on Functional Programming, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/article/walker03theory.html" }
Citations (may not include all citations):230 An overview of AspectJ - Kiczales, Hilsdale et al. - 2001
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
178 Standard ML of New Jersey - Appel, MacQueen - 1991
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995
52 A type-theoretic interpretation of Standard ML - Harper, Stone - 1998
40 A semantics for advice and dynamic join points in aspect-ori.. - Kiczales, Dutchyn - 2002
30 Pointcuts and advice in higher-order languages - Tucker, Krishnamurthi - 2003
25 HyperJ multi dimensional separation concern Java (context) - Tarr, dimensional et al. - 2000
16 The security architecture formerly known as stack inspection.. (context) - allach, Appel et al. - 2000
16 Compilation semantics of aspect-oriented programs - Masuhara, Kiczales et al. - 2002
15 A calculus of untyped aspect-oriented programs - Jagadeesan, Je et al. - 2003
9 Modeling an algebraic stepper - Clements, Flatt et al. - 2001
4 ects for non-interfereing program monitors (context) - Bauer, Ligatti et al. - 2002
1 A formal defi#W tion of crosscuts (context) - Douence, Motelet et al. - 2001
1 A syntactic approach to type soundness (context) - right, Felleisen - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.princeton.edu/sip/projects/aspectml/): More
A Type-theoretic Interpretation of Pointcuts and Advice - Ligatti, Walker, Zdancewic (2005) (Correct)
Harmless Advice - Dantas, Walker (2005) (Correct)
Harmless Advice - Dantas, Walker (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