Abstract

The Socrates programming language unifies object-oriented and aspect-oriented language mechanisms into a few basic constructs plus layers of syntactic sugar. It supports advanced separation of concerns with open classes and predicate dispatching. Its predicate implication algorithm uses online partial evaluation with removal of redundant conditionals.

Citations

4647	Design patterns: elements of reusable object-oriented software - Gamma, Helm, et al. - 1995
972	An overview of AspectJ - Kiczales, Hilsdale, et al.
163	Modular open classes and symmetric multiple dispatch for Java - Clifton, Leavens, et al.
94	A semantics for advice and dynamic join points in aspect-oriented programming - Wand, Kiczales, et al. - 2003
87	Automatic online partial evaluation - Weise, Conybeare, et al. - 1991
74	Predicate dispatching: A unified theory of dispatch - Ernst, Kaplan, et al. - 1998
71	PLT MzScheme: Language Manual - Flatt - 2008
65	Composing Concurrent Objects - Bergmans - 1994
45	Pointcuts and advice in higher-order languages - Tucker, Krishnamurthi - 2003
34	Solving the modeling problems of object-oriented languages by composing multiple aspects using composition filters. AOP '98 workshop position paper - Aksit, Tekinerdogan
25	Incremental programming with extensible decisions - Orleans - 2002
24	Common lisp object system specification, x3j13 - Bobrow, DeMichiel, et al. - 1988
20	Aksit M. “Composing Multiple Concerns Using Composition Filters - Bergmans - 2001
16	Little languages and their programming environments - Clements, Graunke, et al. - 2001
15	Hyper/J User and Installation Manual - Tarr, Ossher - 2000
9	A Discipline of Programming - Dijsktra - 1976
9	Separating behavioral concerns with predicate dispatch, or, if statement considered harmful - Orleans - 2001
3	Aspects and modules combined - Ovlinger, Lieberherr, et al. - 2002
2	Generalized open classes, multimethods, and modularity: Compilation, typechecking, and reasoning in MultiJava. Dissertation proposal - Clifton - 2003
2	A bibliography of aspect-oriented programming, version 1.22 - Filman - 2003