Davide Ancona, Giovanni Lagorio, Elena Zucca  Home/Search
Context Related
| disi.unige.it/pub/pers...TOPLAS03.ps.gz 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: disi.unige.it/p...PublicationData (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: methods. In a mixin it is possible to declare abstract methods (that is, methods without a body). For each of them the method, with the speci ed type, will be part of the mixin type. A class obtained by instantiating a mixin that contains abstract methods must necessarily be declared abstract (vice versa, like in Java, see JLS 8.1.1.1, it is allowed to declare an abstract class without any abstract method). (Update)
Cited by: More
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) (Correct)
A Core Calculus of Higher-Order Mixins and Classes - Bettini, Bono, Likavec (Correct)
Smart Modules for Java-like Languages - Davide Ancona Giovanni (2004) (Correct)
Similar documents (at the sentence level):
15.1%: Jam - A Smooth Extension of Java with Mixins - Ancona, Lagorio, Zucca (1999) (Correct)
12.8%: Jam - Designing a Java Extension with Mixins - Ancona, Lagorio, Zucca (2003) (Correct)
Active bibliography (related documents): More All
0.5: Amalgams: Names and Name Capture in a Declarative Framework - Michel, Giavitto (1998) (Correct)
0.2: Type-Safe Prototype-Based Component Evolution - Zenger (2002) (Correct)
0.2: A First-Class Approach to Genericity - Allen, Bannet, Cartwright (2003) (Correct)
Similar documents based on text: More All
0.4: A Theory of Mixin Modules: Basic and Derived Operators - Ancona, Zucca (1996) (Correct)
0.4: Simplifying types in a calculus for Java exceptions - Ancona, Lagorio, Zucca (2002) (Correct)
0.4: Type systems for Java separate compilation and selective.. - Lagorio (2004) (Correct)
Related documents from co-citation: More All
5: Classes and mixins - Flatt, Krishnamurthi et al. - 1998
4: Coordinating mobile object-oriented code - Bettini, Bono et al. - 2002
4: Mixin-based inheritance - Bracha, Cook - 1990
BibTeX entry: (Update)
D. Ancona, G. Lagorio, and E. Zucca. Jam - designing a java extension with mixins. ACM Transaction on Programming Languages and Systems, 2003. To appear. http://citeseer.ist.psu.edu/article/ancona03jam.html More
@misc{ ancona03jam,
author = "D. Ancona and G. Lagorio and E. Zucca",
title = "Jam - designing a java extension with mixins",
text = "D. Ancona, G. Lagorio, and E. Zucca. Jam - designing a java extension with
mixins. ACM Transaction on Programming Languages and Systems, 2003. To appear.",
year = "2003",
url = "citeseer.ist.psu.edu/article/ancona03jam.html" }
Citations (may not include all citations):240 Mixin-based inheritance - Bracha, Cook - 1990
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
166 Classes and mixins - Flatt, Krishnamurthi et al. - 1998
87 Parameterized types for Java - Meyers, Bank et al. - 1997
83 Object Oriented Programming in Common Lisp: A Programming Gu.. (context) - Keene - 1989
76 Modularity meets inheritance - Bracha, Lindstrom - 1992
76 Uni ed Modeling Language User Guide (context) - Booch, Rumbaugh et al. - 1998
67 Mixin modules - Duggan, Sourelis - 1996
51 A calculus of module systems - Ancona, Zucca - 2002
48 Jiazzi: New age components for old fashioned java - McDirmid, Flatt - 2001
43 Jam: A smooth extension of Java with mixins - Ancona, Lagorio et al. - 2000
38 A core calculus of classes and mixins - Bono, Patel et al. - 1999
37 The design of a class mechanism for Moby - Fisher, Reppy - 1999
33 A theory of mixin modules: Basic and derived operators - Ancona, Zucca - 1998
32 A fragment calculus - towards a model of separate compilatio.. - Drossopoulou, Eisenbach et al. - 1999
21 The Java TM Language Speci cation (context) - Gosling, Joy et al. - 2000
21 Design Patterns: Elements od Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
20 CommonObjects: An overview (context) - Snyder - 1986
14 True modules for Java-like languages (context) - Ancona, Zucca - 2072
12 A core calculus for Java exceptions - Ancona, Lagorio et al. - 2001
12 Extending Smalltalk with mixins (context) - Bracha, Griswold - 1996
11 The programming language JIGSAW: Mixins (context) - Bracha - 1992
10 An application framework for module composition tools - Banavar, Lindstrom - 1996
6 Mechanisms for secure modular programming in Java - Bauer, Appel et al. - 1999
2 Object oriented programming with avors (context) - Moon - 1986
1 Describing the semantics of Java and proving type soundness (context) - on, Languages et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/ZuccaE/Research/PublicationData.html): More
A Modular Calculus for Module Systems - Ancona, Zucca (Correct)
Deriving Proof Rules from Continuation Semantics - Audebaud, Zucca (1999) (Correct)
Implementation of Derived Programs (Almost) for Free - Cerioli, Zucca (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