Citation Context

... we have implemented using Polyglot— would have made it easier to implement Polyglot. Multimethods (e.g., [5]) would have simplified the dispatching mechanism needed for our methodology. Open classe=-=s [6]-=- might provide a cleaner solution to the extensibility problem, particularly in conjunction with multimethods. Aspect-oriented programming [20] is another technique for adding and overriding methods i...

Citation Context

...eturns an instance of the MovableFigure implementation that wraps Point. The mechanism of most specific wrapper is very similar to multiple dispatch in languages such as CLOS, Cecil [3], or MultiJava =-=[4]-=-. More precisely, if one thinks of the constructors of nested classes as factory methods of the enclosing instance, then our mechanism is an application of multiple dispatch at these factory methods. ...

Citation Context

...Modules indicates that modules are open to advice on functions and pointcuts exposed in their interface. Open Classes is a related term indicating that classes are open to the addition of new methods =-=[6]-=-. 8 Conclusion This paper described TinyAspect, a minimal core language for reasoning about aspect-oriented programming systems. TinyAspect is a source-level language that supports declarative aspects...

Citation Context

...t the addition of features to classes without editing their source code or breaking existing class variant relationships. Such functionality is already provided by languages that support open classes =-=[6]-=-. A combination of mixins and cyclic component linking is used to simulate open classes with what we call the open class pattern. Using the open class pattern in Jiazzi provides a solution to the exte...

Citation Context

...ar spirit as when the programmer of a subclass can decide to override a method in any mainstream object-oriented programming language, see [3, 13]. 7 For example, [ 2n | n← 1...5, n > 3 ] is the list =-=[8, 10]-=- 8 The function ClassDef , which is not defined here, simply looks up a class in the program. 1 abstract public cclass IHierarchyDisplay { 2 abstract public Node getRoot(); /∗ data model ∗/ 3 abstract...

Citation Context

...e students implementing the universal inbox. This suggests the need for better programming language support to structure event handlers. Alternatives include dynamic dispatch as provided by MultiJava =-=[24]-=- or pattern matching as provided by Standard ML [76]. While we still believe that asynchronous events are an appropriate abstraction for pervasive computing, our experience with event-based programmin...

Citation Context

... programs. 1 This functionality originated in Flavors [19, 28] where Flavor declarations did not lexically contain their methods and is found in several other languages; the term open class is due to =-=[5, 18]-=-. AspectJ used to call this feature introduction, and now calls it inter-type declarations.sThe paper is organized as follows: Section 2 presents a simple object-oriented (OO) language that is used as...

Citation Context

...ately reason about the behavior and correctness of an implementation. Our interest in modular reasoning in aspect-oriented programming languages is motivated in part by our earlier work on Multi Java =-=[5, 6]-=-. In that work we were concerned with modular static typechecking and compilation. This is closely related to the issue of modular reasoning, because the source code of a method body is a very precise...

Citation Context

... the following two lines of code are equivalent: fractalsfractalsWhen a continuation method is overloaded, SALSA dynamically chooses the most specic method according to the runtime type of the token [=-=14, 11]-=-. 3.2 Join Continuations SALSA supports join continuations: a customer actor receives an array with the tokens returned by multiple actors, once they have allsnished processing their messages. A sampl...