Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Elena Zucca
2010 – today
- 2013
[c44]- 2012
- [j24]Giovanni Lagorio, Marco Servetto, Elena Zucca: Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. 214: 86-111 (2012)
- [j23]Andrea Corradi, Marco Servetto, Elena Zucca: DeepFJig - Modular composition of nested classes. Journal of Object Technology 11(2): 1: 1-42 (2012)
- 2011
- [j22]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Extending the lambda-calculus with unbind and rebind. RAIRO - Theor. Inf. and Applic. 45(1): 143-162 (2011)
- [c43]Jonathan Aldrich, Jeremy G. Siek, Elena Zucca: 2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. OOPSLA Companion 2011: 319-320
- [c42]Andrea Corradi, Marco Servetto, Elena Zucca: DeepFJig: modular composition of nested classes. PPPJ 2011: 101-110
- 2010
- [j21]Giovanni Lagorio, Marco Servetto, Elena Zucca: A Lightweight Approach to Customizable Composition Operators for Java-like Classes. Electr. Notes Theor. Comput. Sci. 263: 161-177 (2010)
- [c41]Marco Servetto, Elena Zucca: MetaFJig: a meta-circular composition language for Java-like classes. OOPSLA 2010: 464-483
- [c40]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: Intersection types for unbind and rebind. ITRS 2010: 45-58
- [e1]John Hatcliff, Elena Zucca (Eds.): Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6117, Springer 2010, ISBN 978-3-642-13463-0
2000 – 2009
- 2009
- [c39]Giovanni Lagorio, Marco Servetto, Elena Zucca: Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP 2009: 244-268
- [c38]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca: The essence of static and dynamic bindings. ICTCS 2009: 99-106
- [c37]Giovanni Lagorio, Marco Servetto, Elena Zucca: Customizable composition operators for Java-like classes. ICTCS 2009: 136-142
- 2008
- [j20]Davide Ancona, Sonia Fagorzi, Elena Zucca: A Parametric Calculus for Mobile Open Code. Electr. Notes Theor. Comput. Sci. 192(3): 3-22 (2008)
- [c36]Davide Ancona, Giovanni Lagorio, Elena Zucca: Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18
- 2007
- [j19]Sonia Fagorzi, Elena Zucca: A Calculus of Components with Dynamic Type-Checking. Electr. Notes Theor. Comput. Sci. 182: 73-90 (2007)
- [j18]Giovanni Lagorio, Elena Zucca: Just: Safe Unknown Types in Java-like Languages. Journal of Object Technology 6(2): 69-98 (2007)
- [j17]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)
- [j16]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)
- [c35]
- [c34]Davide Ancona, Giovanni Lagorio, Elena Zucca: Type inference for polymorphic methods in Java-like languages. ICTCS 2007: 118-129
- 2006
- [j15]Sonia Fagorzi, Elena Zucca: A Calculus for Reconfiguration: (Extended abstract). Electr. Notes Theor. Comput. Sci. 135(3): 49-59 (2006)
- [c33]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
- [c32]Davide Ancona, Giovanni Lagorio, Elena Zucca: Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154
- [c31]Giovanni Lagorio, Elena Zucca: Introducing safe unknown types in Java-like languages. SAC 2006: 1429-1434
- [c30]
- 2005
- [j14]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)
- [c29]Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca: Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37
- [c28]
- 2004
- [j13]Sonia Fagorzi, Elena Zucca: A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. Journal of Object Technology 3(11): 31-54 (2004)
- [c27]Davide Ancona, Sonia Fagorzi, Elena Zucca: A Calculus with Lazy Module Operators. IFIP TCS 2004: 423-436
- [c26]
- [c25]Sonia Fagorzi, Elena Zucca, Davide Ancona: Modeling multiple class loaders by a calculus for dynamic linking. SAC 2004: 1281-1288
- 2003
- [j12]Davide Ancona, Giovanni Lagorio, Elena Zucca: Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003)
- [c24]Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca: Mixin Modules and Computational Effects. ICALP 2003: 224-238
- [c23]
- 2002
- [j11]
- [j10]Davide Ancona, Elena Zucca: A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Mathematical Structures in Computer Science 12(6): 701-737 (2002)
- [c22]Davide Ancona, Giovanni Lagorio, Elena Zucca: A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636
- [c21]Davide Ancona, Giovanni Lagorio, Elena Zucca: True separate compilation of Java classes. PPDP 2002: 189-200
- 2001
- [j9]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: 69-82 (2001)
- [c20]
- [c19]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca: An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
- [c18]Davide Ancona, Giovanni Lagorio, Elena Zucca: A Core Calculus for Java Exceptions. OOPSLA 2001: 16-30
- 2000
- [c17]Davide Ancona, Giovanni Lagorio, Elena Zucca: Jam - A Smooth Extension of Java with Mixins. ECOOP 2000: 154-178
1990 – 1999
- 1999
- [j8]Philippe Audebaud, Elena Zucca: Deriving Proof Rules from Continuation Semantics. Formal Asp. Comput. 11(4): 426-447 (1999)
- [j7]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)
- [j6]Elena Zucca: From Static to Dynamic Abstract Data-Types: An Institution Transformation. Theor. Comput. Sci. 216(1-2): 109-157 (1999)
- [c16]
- [c15]
- [c14]
- 1998
- [j5]Davide Ancona, Elena Zucca: A Theory of Mixin Modules: Basic and Derived Operators. Mathematical Structures in Computer Science 8(4): 401-446 (1998)
- 1997
- [c13]
- [c12]
- [c11]Maura Cerioli, Elena Zucca: Implementation of derived programs (almost) for free. WADT 1997: 141-155
- 1996
- [j4]Ruth Breu, Elena Zucca: An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). Formal Asp. Comput. 8(6): 706-715 (1996)
- [j3]Egidio Astesiano, Elena Zucca: A Free Construction of Dynamic Terms. J. Comput. Syst. Sci. 52(1): 143-156 (1996)
- [c10]
- [c9]
- [c8]
- 1995
- [j2]Egidio Astesiano, Elena Zucca: D-oids: A Model for Dynamic Data-Types. Mathematical Structures in Computer Science 5(2): 257-282 (1995)
- 1994
- [c7]Elena Zucca: Implementation of Data Structures in an Imperative Framework. COMPASS/ADT 1994: 483-498
- 1993
- [c6]Egidio Astesiano, Gianna Reggio, Elena Zucca: Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251
- 1992
- [c5]
1980 – 1989
- 1989
- [c4]Ruth Breu, Elena Zucca: An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. FSTTCS 1989: 131-142
- 1987
- [c3]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
- [j1]Egidio Astesiano, Elena Zucca: Parametric Channels via Label Expressions in CCS. Theor. Comput. Sci. 33: 45-63 (1984)
- 1981
- [c2]Egidio Astesiano, Elena Zucca: Semantics of Distributed Processes Derived by Translation. GI Jahrestagung 1981: 78-87
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-19 19:23 CET by the dblp team