Proceedings of the 1st International Conference on Aspect-Oriented Software Development 2002
DOI: 10.1145/508386.508393
|View full text |Cite
|
Sign up to set email alerts
|

Incremental programming with extensible decisions

Abstract: This paper proposes a new model of programming, in which the behavior of a program can be defined as separate decision point branches. Allowing more precise expression of the condition determining when a branch should be chosen at a decision point leads to better support for incremental programming. This model can be viewed as a fundamental mechanism underlying both OOP and AOP, which can serve as lower-level building blocks that can be put together into the higher-level constructs present in many AOP systems.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
20
0

Year Published

2003
2003
2009
2009

Publication Types

Select...
3
2
2

Relationship

0
7

Authors

Journals

citations
Cited by 24 publications
(20 citation statements)
references
References 14 publications
0
20
0
Order By: Relevance
“…Some authors have proposed formal models for AO mechanisms [2,6,13,20,27]. Those models are attractive in that they express deep characteristics of the systems, such as implementation issues [17] and static analysis [25], in concise ways.…”
Section: Related Workmentioning
confidence: 99%
“…Some authors have proposed formal models for AO mechanisms [2,6,13,20,27]. Those models are attractive in that they express deep characteristics of the systems, such as implementation issues [17] and static analysis [25], in concise ways.…”
Section: Related Workmentioning
confidence: 99%
“…All of these tests reduce to the ability to check validity of propositional combinations of formulas expressible in JPred's predicate language. Prior languages containing predicate dispatch have used their own specialized algorithms for conservatively checking validity of predicates [Ernst et al 1998;Ucko 2001;Orleans 2002]. In contrast, JPred employs general-purpose off-the-shelf decision procedures, which are more flexible and precise than these specialized algorithms.…”
Section: Automatically Reasoning About Predicatesmentioning
confidence: 99%
“…Fred [Orleans 2002] is a language that unifies predicate dispatch with features of aspect-oriented programming (AOP) [Kiczales et al 1997]. Like predicate dispatch, methods have predicates associated with them, and logical implication determines method overriding.…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…Therefore, it has been very fruitful to use general-purpose approaches of which AspectJ [23] and HyperJ [20] are the most prominent ones. Also predicate dispatch languages are close to general purpose aspect languages [48]. Context objects are also an early form of general purpose aspects [55].…”
Section: Extension Languagesmentioning
confidence: 95%