| 2007 |
|---|
| 54 | | Davide Ancona,
Elena Zucca:
A formal framework for compositional compilation.
ICTCS 2007: 106-117 |
| 53 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Type inference for polymorphic methods in Java-like languages.
ICTCS 2007: 118-129 |
| 52 | EE | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
A provenly correct translation of Fickle into Java.
ACM Trans. Program. Lang. Syst. 29(2): (2007) |
| 51 | EE | Sonia Fagorzi,
Elena Zucca:
A Calculus of Components with Dynamic Type-Checking.
Electr. Notes Theor. Comput. Sci. 182: 73-90 (2007) |
| 50 | EE | Giovanni Lagorio,
Elena Zucca:
Just: Safe Unknown Types in Java-like Languages.
Journal of Object Technology 6(2): (2007) |
| 49 | EE | Sonia Fagorzi,
Elena Zucca:
A calculus of open modules: call-by-need strategy and confluence.
Mathematical Structures in Computer Science 17(4): 675-751 (2007) |
| 2006 |
|---|
| 48 | EE | Davide Ancona,
Sophia Drossopoulou,
Atsushi Igarashi,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Elena Zucca:
Formal Techniques for Java-Like Programs.
ECOOP Workshops 2006: 53-58 |
| 47 | EE | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Flexible Type-Safe Linking of Components for Java-Like Languages.
JMLC 2006: 136-154 |
| 46 | EE | Giovanni Lagorio,
Elena Zucca:
Introducing safe unknown types in Java-like languages.
SAC 2006: 1429-1434 |
| 45 | EE | Sonia Fagorzi,
Elena Zucca:
A Framework for Type Safe Exchange of Mobile Code.
TGC 2006: 319-338 |
| 44 | EE | Sonia Fagorzi,
Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract).
Electr. Notes Theor. Comput. Sci. 135(3): 49-59 (2006) |
| 2005 |
|---|
| 43 | EE | Davide Ancona,
Ferruccio Damiani,
Sophia Drossopoulou,
Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages.
POPL 2005: 26-37 |
| 42 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
Mixin Modules for Dynamic Rebinding.
TGC 2005: 279-298 |
| 41 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus for Dynamic Reconfiguration with Low Priority Linking.
Electr. Notes Theor. Comput. Sci. 138(2): 3-35 (2005) |
| 2004 |
|---|
| 40 | | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus with Lazy Module Operators.
IFIP TCS 2004: 423-436 |
| 39 | EE | Davide Ancona,
Elena Zucca:
Principal typings for Java-like languages.
POPL 2004: 306-317 |
| 38 | EE | Sonia Fagorzi,
Elena Zucca,
Davide Ancona:
Modeling multiple class loaders by a calculus for dynamic linking.
SAC 2004: 1281-1288 |
| 37 | EE | Sonia Fagorzi,
Elena Zucca:
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders.
Journal of Object Technology 3(11): 31-54 (2004) |
| 2003 |
|---|
| 36 | EE | Davide Ancona,
Sonia Fagorzi,
Eugenio Moggi,
Elena Zucca:
Mixin Modules and Computational Effects.
ICALP 2003: 224-238 |
| 35 | EE | Davide Ancona,
Sonia Fagorzi,
Elena Zucca:
A Calculus for Dynamic Linking.
ICTCS 2003: 284-301 |
| 34 | EE | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Jam - designing a Java extension with mixins.
ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) |
| 2002 |
|---|
| 33 | EE | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
A Formal Framework for Java Separate Compilation.
ECOOP 2002: 609-636 |
| 32 | EE | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
True separate compilation of Java classes.
PPDP 2002: 189-200 |
| 31 | | Davide Ancona,
Elena Zucca:
A calculus of module systems.
J. Funct. Program. 12(2): 91-132 (2002) |
| 30 | | Davide Ancona,
Elena Zucca:
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics.
Mathematical Structures in Computer Science 12(6): 701-737 (2002) |
| 2001 |
|---|
| 29 | EE | Davide Ancona,
Elena Zucca:
True Modules for Java-like Languages.
ECOOP 2001: 354-380 |
| 28 | EE | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
An Effective Translation of Fickle into Java.
ICTCS 2001: 215-234 |
| 27 | | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
A Core Calculus for Java Exceptions.
OOPSLA 2001: 16-30 |
| 26 | EE | Davide Ancona,
Christopher Anderson,
Ferruccio Damiani,
Sophia Drossopoulou,
Paola Giannini,
Elena Zucca:
A type preserving translation of Fickle into Java.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 2000 |
|---|
| 25 | EE | Davide Ancona,
Giovanni Lagorio,
Elena Zucca:
Jam - A Smooth Extension of Java with Mixins.
ECOOP 2000: 154-178 |
| 1999 |
|---|
| 24 | | Davide Ancona,
Maura Cerioli,
Elena Zucca:
A Formal Framework with Late Binding.
FASE 1999: 30-44 |
| 23 | | Davide Ancona,
Elena Zucca:
A Primitive Calculus for Module Systems.
PPDP 1999: 62-79 |
| 22 | | Davide Ancona,
Maura Cerioli,
Elena Zucca:
Extending Casl by Late Binding.
WADT 1999: 53-72 |
| 21 | EE | Philippe Audebaud,
Elena Zucca:
Deriving Proof Rules from Continuation Semantics.
Formal Asp. Comput. 11(4): 426-447 (1999) |
| 20 | | Egidio Astesiano,
Gianna Reggio,
Elena Zucca:
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.
Sci. Comput. Program. 34(3): 163-190 (1999) |
| 19 | EE | Elena Zucca:
From Static to Dynamic Abstract Data-Types: An Institution Transformation.
Theor. Comput. Sci. 216(1-2): 109-157 (1999) |
| 1998 |
|---|
| 18 | | Davide Ancona,
Elena Zucca:
A Theory of Mixin Modules: Basic and Derived Operators.
Mathematical Structures in Computer Science 8(4): 401-446 (1998) |
| 1997 |
|---|
| 17 | | Davide Ancona,
Elena Zucca:
Overriding Operators in a Mixin-Based Framework.
PLILP 1997: 47-61 |
| 16 | | Maura Cerioli,
Elena Zucca:
Implementation of derived programs (almost) for free.
WADT 1997: 141-155 |
| 15 | | Davide Ancona,
Elena Zucca:
An algebra of mixin modules.
WADT 1997: 92-106 |
| 1996 |
|---|
| 14 | | Davide Ancona,
Elena Zucca:
An Algebraic Approach to Mixins and Modularity.
ALP 1996: 179-193 |
| 13 | | Davide Ancona,
Elena Zucca:
A Formal Framework for Modules with State.
AMAST 1996: 148-162 |
| 12 | | Elena Zucca:
From Static to Dynamic Abstract Data-Types.
MFCS 1996: 579-590 |
| 11 | | Ruth Breu,
Elena Zucca:
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract).
Formal Asp. Comput. 8(6): 706-715 (1996) |
| 10 | | Egidio Astesiano,
Elena Zucca:
A Free Construction of Dynamic Terms.
J. Comput. Syst. Sci. 52(1): 143-156 (1996) |
| 1995 |
|---|
| 9 | | Egidio Astesiano,
Elena Zucca:
D-oids: A Model for Dynamic Data-Types.
Mathematical Structures in Computer Science 5(2): 257-282 (1995) |
| 1994 |
|---|
| 8 | | Elena Zucca:
Implementation of Data Structures in an Imperative Framework.
COMPASS/ADT 1994: 483-498 |
| 1993 |
|---|
| 7 | | Egidio Astesiano,
Gianna Reggio,
Elena Zucca:
Stores as Homomorphisms and their Transformations.
MFCS 1993: 242-251 |
| 1992 |
|---|
| 6 | | Egidio Astesiano,
Elena Zucca:
A Semantic Model for Dynamic Systems.
FMLDO 1992: 63-83 |
| 1989 |
|---|
| 5 | | Ruth Breu,
Elena Zucca:
An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency.
FSTTCS 1989: 131-142 |
| 1987 |
|---|
| 4 | | Egidio Astesiano,
Alessandro Giovini,
Gianna Reggio,
Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects.
Algebraic Methods 1987: 91-116 |
| 1984 |
|---|
| 3 | | Egidio Astesiano,
Elena Zucca:
Parametric Channels via Label Expressions in CCS.
Theor. Comput. Sci. 33: 45-63 (1984) |
| 1981 |
|---|
| 2 | | Egidio Astesiano,
Elena Zucca:
Semantics of Distributed Processes Derived by Translation.
GI Jahrestagung 1981: 78-87 |
| 1 | | Egidio Astesiano,
Elena Zucca:
Semantics of CSP via Translation into CCS.
MFCS 1981: 172-182 |
