Sfoglia per Autore
A Formal Framework for Modules with State
1996-01-01 Ancona, Davide; Zucca, Elena
An Algebraic Approach to Mixins and Modularity
1996-01-01 Ancona, Davide; Zucca, Elena
Overriding Operators in a Mixin-Based Framework
1997-01-01 Ancona, Davide; Zucca, Elena
An Algebra of Mixin Modules
1998-01-01 Ancona, Davide; Zucca, Elena
A theory of mixin modules: Basic and derived operators
1998-01-01 Ancona, Davide; Zucca, Elena
An algebraic framework for separate type-checking
1999-01-01 Ancona, Davide
A Formal Framework with Late Binding
1999-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
A Primitive Calculus for Module Systems
1999-01-01 Ancona, Davide; Zucca, Elena
Extending Casl by Late Binding
2000-01-01 Ancona, Davide; Cerioli, Maura; Zucca, Elena
MIX(FL): a kernel language of mixin modules
2000-01-01 Ancona, Davide
A core calculus for Java exceptions (extended abstract)
2000-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
Mixin-Based Modules for Logic Programming
2000-01-01 Ancona, Davide; Mascardi, Viviana
Overloading and Inheritance in Java (Extended Abstract)
2000-01-01 Ancona, Davide; Zucca, Elena; S., Drossopoulou
Jam: A smooth extension of Java with mixins
2000-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
True modules for Java-like languages.
2001-01-01 Ancona, Davide; Zucca, Elena
A type preserving translation of Fickle into Java
2001-01-01 Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P.; Zucca, Elena
An Effective Translation of Fickle into Java
2001-01-01 Ancona, Davide; Anderson, C; Damiani, F; Drossopoulou, S; Giannini, P; Zucca, Elena
Overloading and inheritance
2001-01-01 Ancona, Davide; Zucca, Elena; Drossopoulou, Sophia
Java separate type checking is not safe
2001-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
A core calculus for Java exceptions
2001-01-01 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Formal Framework for Modules with State | 1-gen-1996 | Ancona, Davide; Zucca, Elena | |
An Algebraic Approach to Mixins and Modularity | 1-gen-1996 | Ancona, Davide; Zucca, Elena | |
Overriding Operators in a Mixin-Based Framework | 1-gen-1997 | Ancona, Davide; Zucca, Elena | |
An Algebra of Mixin Modules | 1-gen-1998 | Ancona, Davide; Zucca, Elena | |
A theory of mixin modules: Basic and derived operators | 1-gen-1998 | Ancona, Davide; Zucca, Elena | |
An algebraic framework for separate type-checking | 1-gen-1999 | Ancona, Davide | |
A Formal Framework with Late Binding | 1-gen-1999 | Ancona, Davide; Cerioli, Maura; Zucca, Elena | |
A Primitive Calculus for Module Systems | 1-gen-1999 | Ancona, Davide; Zucca, Elena | |
Extending Casl by Late Binding | 1-gen-2000 | Ancona, Davide; Cerioli, Maura; Zucca, Elena | |
MIX(FL): a kernel language of mixin modules | 1-gen-2000 | Ancona, Davide | |
A core calculus for Java exceptions (extended abstract) | 1-gen-2000 | Ancona, Davide; Lagorio, Giovanni; Zucca, Elena | |
Mixin-Based Modules for Logic Programming | 1-gen-2000 | Ancona, Davide; Mascardi, Viviana | |
Overloading and Inheritance in Java (Extended Abstract) | 1-gen-2000 | Ancona, Davide; Zucca, Elena; S., Drossopoulou | |
Jam: A smooth extension of Java with mixins | 1-gen-2000 | Ancona, Davide; Lagorio, Giovanni; Zucca, Elena | |
True modules for Java-like languages. | 1-gen-2001 | Ancona, Davide; Zucca, Elena | |
A type preserving translation of Fickle into Java | 1-gen-2001 | Ancona, Davide; Anderson, C.; Damiani, F.; Drossopoulou, S.; Giannini, P.; Zucca, Elena | |
An Effective Translation of Fickle into Java | 1-gen-2001 | Ancona, Davide; Anderson, C; Damiani, F; Drossopoulou, S; Giannini, P; Zucca, Elena | |
Overloading and inheritance | 1-gen-2001 | Ancona, Davide; Zucca, Elena; Drossopoulou, Sophia | |
Java separate type checking is not safe | 1-gen-2001 | Ancona, Davide; Lagorio, Giovanni; Zucca, Elena | |
A core calculus for Java exceptions | 1-gen-2001 | Ancona, Davide; Lagorio, Giovanni; Zucca, Elena |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile