2012

ARTICLE

Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages
Giovanni Lagorio, Marco Servetto, Elena Zucca
Information and Computation. pp. 86 - 111. vol. 214. 2012.
Abstract   Bibtex   url   

2011

ARTICLE

Extending lambda-calculus with unbind and rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
RAIRO - Theoretical Informatics and Applications. pp. 143-162. vol. 45no. 1. 2011.
Abstract   Bibtex   url   

INPROCEEDINGS

DeepFJig - Modular composition of nested classes
Andrea Corradi, Marco Servetto, Elena Zucca
PPPJ'11 - Principles and Practice of Programming in Java. Christian W. Probst and Christian Wimmer (Eds.). pp. 101-110. Publisher: ACM Press. Series: ACM International Conference Proceeding Series. ISBN: 978-1-4503-0935-6. 2011.
Abstract   Bibtex   url   

FOOL'11- Foundations of Object-Oriented Languages: SPLASH/OOPSLA'11 workshop summary
Jonathan Aldrich, Jeremy G. Siek, Elena Zucca
OOPSLA Companion - Object-Oriented Programming, Systems, Languages, and Applications. Cristina Videira Lopes and Kathleen Fisher (Eds.). pp. 319-320. Publisher: ACM Press. 2011.
Bibtex   url   

2010

ARTICLE

A lightweight approach to customizable composition operators for Java-like classes
Giovanni Lagorio, Marco Servetto, Elena Zucca
Electronic Notes in Theoretical Computer Science. pp. 161-177. vol. 263. Publisher: Elsevier. 2010. FACS'09 - Formal Aspects of Component Software.
Abstract   Bibtex   url   pdf   

INPROCEEDINGS

Intersection types for unbind and rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
ITRS'10 - Intersection Types and Related Systems. Elaine Pimentel, Betti Venneri and Joe Wells (Eds.). vol. 45. Series: Electronic Proceedings in Theoretical Computer Science. 2010.
Abstract   Bibtex   url   

MetaFJig - A meta-circular composition language for Java-like classes
Marco Servetto, Elena Zucca
OOPSLA'10 - ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. William R. Cook, Siobhan Clarke and Martin C. Rinard (Eds.). Publisher: ACM Press. Series: ACM Digital Library. 2010.
Abstract   Bibtex   url   

DeepFJig - Modular composition of nested classes
Andrea Corradi, Marco Servetto, Elena Zucca
FOOL'10 - Intl. Workshop on Foundations of Object-Oriented Languages. 2010.
Abstract   Bibtex   html   

PROCEEDINGS

2009

INPROCEEDINGS

Featherweight Jigsaw - A minimal core calculus for modular composition of classes
Giovanni Lagorio, Marco Servetto, Elena Zucca
ECOOP'09 - Object-Oriented Programming. S. Drossopoulou (Eds.). no. 5653. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Abstract   Bibtex   pdf   

Flattening versus direct semantics for Featherweight Jigsaw
Giovanni Lagorio, Marco Servetto, Elena Zucca
FOOL'09 - Foundations of Object-Oriented Languages. 2009.
Abstract   Bibtex   pdf   

The essence of static and dynamic binding
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
ICTCS'09 - Italian Conference on Theoretical Computer Science. 2009.
Abstract   Bibtex   pdf   

Customizable composition operators for Java-like classes (extended abstract)
Giovanni Lagorio, Marco Servetto, Elena Zucca
ICTCS'09 - Italian Conference on Theoretical Computer Science. 2009.
Abstract   Bibtex   pdf   

2008

ARTICLE

A parametric calculus for mobile open code
Davide Ancona, Sonia Fagorzi, Elena Zucca
Electronic Notes in Theoretical Computer Science. pp. 3 - 22. vol. 192no. 3. 2008. DCM'07 - Developments in Computational Models.
Abstract   Bibtex   url   

INPROCEEDINGS

Type inference by coinductive logic programming
Davide Ancona, Giovanni Lagorio, Elena Zucca
Post-Proceedings of TYPES'08. Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (Eds.). no. 5497. Publisher: Springer. Series: Lecture Notes in Computer Science. 2008.
Abstract   Bibtex   url   

2007

ARTICLE

A calculus of open modules: call-by-need strategy and confluence
Sonia Fagorzi, Elena Zucca
Mathematical Structures in Computer Science. pp. 675-751. vol. 17no. 4. 2007. Extended version of "A Calculus for Reconfiguration (extended abstract)" .
Abstract   Bibtex   url   

Just: safe unknown types in Java-like languages
Giovanni Lagorio, Elena Zucca
Journal of Object Technology. pp. 69-98. vol. 6no. 2. 2007. Special issue: OOPS track at SAC'06.
Abstract   Bibtex   pdf   

A calculus of components with dynamic type-checking
Sonia Fagorzi, Elena Zucca
Electronic Notes in Theoretical Computer Science. pp. 73-90. vol. 182. 2007. FACS'06 - Formal Aspects of Component Software.
Abstract   Bibtex   url   

A provenly correct translation of Fickle into Java
Davide Ancona, Chris Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
ACM Transactions on Programming Languages and Systems. vol. 29no. 2. 2007.
Abstract   Bibtex   pdf   

INPROCEEDINGS

A formal framework for compositional compilation
Davide Ancona, Elena Zucca
ICTCS'07 - Italian Conference on Theoretical Computer Science. G. Italiano, E. Moggi, L. Laura (Eds.). Publisher: World Scientific. 2007. See also the extended version with proofs and examples of framework instantiation.
Abstract   Bibtex   pdf   url   

Type inference for polymorphic methods in Java-like languages
Davide Ancona, Giovanni Lagorio, Elena Zucca
ICTCS'07 - Italian Conference on Theoretical Computer Science. G. Italiano, E. Moggi, L. Laura (Eds.). Publisher: World Scientific. 2007. See also the extended version with proofs.
Abstract   Bibtex   pdf   pdf   

2006

ARTICLE

A calculus for reconfiguration (extended abstract)
Sonia Fagorzi, Elena Zucca
Electronic Notes in Theoretical Computer Science. pp. 49-59. vol. 135no. 3. 2006. DCM'05 - Developments in Computational Models. An extended version of this paper is "A Calculus of Open Modules: Call-by-need Strategy and Confluence".
Abstract   Bibtex   url   

INPROCEEDINGS

Introducing safe unknown types in Java-like languages
Giovanni Lagorio, Elena Zucca
SAC'06 - Symposium on Applied Computing - OOPS track. L.M. Liebrock (Eds.). pp. 1429-1434. Publisher: ACM Press. 2006.
Abstract   Bibtex   pdf   

Flexible type-safe linking of components for Java-like languages
Davide Ancona, Giovanni Lagorio, Elena Zucca
JMLC'06 - Joint Modular Languages Conference. pp. 136-154. no. 4228. Publisher: Springer. Series: Lecture Notes in Computer Science. 2006.
Abstract   Bibtex   pdf   

A framework for type safe exchange of mobile code
Sonia Fagorzi, Elena Zucca
TGC'06 - Trustworthy Global Computing. U. Montanari, D. Sannella, R. Bruni (Eds.). pp. 319-338. no. 4661. Publisher: Springer. Series: Lecture Notes in Computer Science. 2006.
Abstract   Bibtex   url   

2005

ARTICLE

A calculus for dynamic reconfiguration with low priority linking
Davide Ancona, Sonia Fagorzi, Elena Zucca
Electronic Notes in Theoretical Computer Science. V. Bono, M. Bugliesi, S. Drossopoulou (Eds.). pp. 3-35. vol. 138no. 2. 2005. WOOD'04 - Workshop on Object Oriented Developments.
Abstract   Bibtex   url   

INPROCEEDINGS

Polymorphic bytecode: compositional compilation for Java-like languages
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
POPL'05 - ACM Symposium on Principles of Programming Languages. pp. 26-37. Publisher: ACM Press. 2005.
Abstract   Bibtex   pdf   

Mixin modules for dynamic rebinding
Davide Ancona, Sonia Fagorzi, Elena Zucca
TGC'05 - Trustworthy Global Computing. R. De Nicola, D. Sangiorgi (Eds.). pp. 279-298. no. 3705. Publisher: Springer. Series: Lecture Notes in Computer Science. 2005. See also the extended version with proofs.
Abstract   Bibtex   pdf   pdf   

Smart modules for Java-like languages
Davide Ancona, Giovanni Lagorio, Elena Zucca
FTfJP'05 - Formal Techniques for Java-like Programs. 2005.
Abstract   Bibtex   pdf   

TECHREPORT

Compositional compilation for Java-like languages through polymorphic bytecode
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
2005. Extended version of "Polymorphic bytecode: compositional compilation for Java-like languages".
Abstract   Bibtex   pdf   

2004

ARTICLE

A case-study in encoding configuration languages: multiple class loaders
Sonia Fagorzi, Elena Zucca
Journal of Object Technology. pp. 31-54. vol. 3no. 11. 2004.
Abstract   Bibtex   url   

INPROCEEDINGS

Even more principal typings for Java-like languages
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
FTfJP'04 - Formal Techniques for Java Programs. 2004.
Abstract   Bibtex   pdf   

A calculus with lazy module operators
Davide Ancona, Sonia Fagorzi, Elena Zucca
TCS'04 - Theoretical Computer Science. J.-J. Levy, E. W. Mayr, J. C. Mitchell (Eds.). pp. 423-436. Publisher: Kluwer. 2004.
Abstract   Bibtex   pdf   

Modeling multiple class loaders by a calculus for dynamic linking
Sonia Fagorzi, Elena Zucca, Davide Ancona
SAC'04 - ACM Symposium on Applied Computing, OOPS track. H. Haddad, A. Omicini, R. L. Wainwright, L. M. Liebrock (Eds.). pp. 1281-1288. Publisher: ACM Press. 2004.
Abstract   Bibtex   gz   

Principal typings for Java-like languages
Davide Ancona, Elena Zucca
POPL'04 - ACM Symposium on Principles of Programming Languages. pp. 306-317. Publisher: ACM Press. 2004.
Abstract   Bibtex   gz   

2003

ARTICLE

Jam - designing a Java extension with mixins
Davide Ancona, Giovanni Lagorio, Elena Zucca
ACM Transactions on Programming Languages and Systems. pp. 641-712. vol. 25no. 5. Publisher: ACM Press. 2003.
Abstract   Bibtex   pdf   

INPROCEEDINGS

A calculus for dynamic linking
Davide Ancona, Sonia Fagorzi, Elena Zucca
ICTCS'03 - Italian Conference on Theoretical Computer Science. C. Blundo, C. Laneve (Eds.). pp. 284-301. no. 2841. Publisher: Springer. Series: Lecture Notes in Computer Science. 2003.
Abstract   Bibtex   gz   

Mixin modules and computational effects
Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
ICALP'03 - Automata, Languages and Programming. G. Goos, J. Hartmanis, J. van Leeuwen (Eds.). pp. 224-238. no. 2719. Publisher: Springer. Series: Lecture Notes in Computer Science. 2003. See also the extended version.
Abstract   Bibtex   gz   gz   

TECHREPORT

Simplifying types for a calculus of Java exceptions
Davide Ancona, Giovanni Lagorio, Elena Zucca
2003. Technical report, DISI, December 2003. Submitted for journal publication.
Abstract   Bibtex   gz   

2002

ARTICLE

A theory of mixin modules: algebraic laws and reduction semantics
Davide Ancona, Elena Zucca
Mathematical Structures in Computer Science. pp. 701-737. vol. 12no. 6. Publisher: Cambridge University Press. 2002. Extended version of "An Algebra of Mixin Modules".
Abstract   Bibtex   gz   

A type preserving translation of Fickle into Java
Davide Ancona, Chris Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
Electronic Notes in Theoretical Computer Science. pp. 69-82. vol. 62. Publisher: Elsevier. 2002. TOSCA'01 - Theory of Concurrency, Higher Order Languages and Types.
Abstract   Bibtex   url   

A calculus of module systems
Davide Ancona, Elena Zucca
Journal of Functional Programming. pp. 91-132. vol. 12no. 2. 2002. Extended version of "A primitive calculus of module systems".
Abstract   Bibtex   gz   

INPROCEEDINGS

True separate compilation of Java classes
Davide Ancona, Giovanni Lagorio, Elena Zucca
PPDP'02 - Principles and Practice of Declarative Programming. pp. 189-200. Publisher: ACM Press. 2002. See also the extended version.
Abstract   Bibtex   gz   gz   

A formal framework for Java separate compilation
Davide Ancona, Giovanni Lagorio, Elena Zucca
ECOOP'02 - European Conference on Object-Oriented Programming. B. Magnusson (Eds.). pp. 609-635. no. 2374. Publisher: Springer. Series: Lecture Notes in Computer Science. 2002.
Abstract   Bibtex   gz   

2001

INPROCEEDINGS

An effective translation of Fickle into Java
Davide Ancona, Chris Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
ICTCS'01 - Italian Conference on Theoretical Computer Science. A. Restivo, S. Ronchi Della Rocca, L. Roversi (Eds.). pp. 215-234. no. 2202. Publisher: Springer. Series: Lecture Notes in Computer Science. 2001.
Abstract   Bibtex   gz   

True modules for Java-like languages
Davide Ancona, Elena Zucca
ECOOP'01 - European Conference on Object-Oriented Programming. J.L. Knudsen (Eds.). pp. 354-380. no. 2072. Publisher: Springer. Series: Lecture Notes in Computer Science. 2001. See also the extended version.
Abstract   Bibtex   gz   gz   

Overloading and inheritance
Davide Ancona, Elena Zucca, Sophia Drossopoulou
FOOL 8 - Foundations of Object-Oriented Languages. 2001.
Abstract   Bibtex   gz   

Java separate type checking is not safe
Davide Ancona, Giovanni Lagorio, Elena Zucca
FTfJP'01 - Formal Techniques for Java Programs. 2001.
Abstract   Bibtex   gz   

A core calculus for Java exceptions
Davide Ancona, Giovanni Lagorio, Elena Zucca
OOPSLA'01 - ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. Publisher: ACM Press. Series: SIGPLAN Notices. 2001. Extended version of "A core calculus for Java exceptions (extended abstract)".
Abstract   Bibtex   gz   

2000

INPROCEEDINGS

Jam: A smooth extension of Java with mixins
Davide Ancona, Giovanni Lagorio, Elena Zucca
ECOOP'00 - European Conference on Object-Oriented Programming. E. Bertino (Eds.). pp. 154-178. no. 1850. Publisher: Springer. Series: Lecture Notes in Computer Science. 2000. An extended version of this paper is "Jam - Theory and Practice of a Java extension with mixins".
Abstract   Bibtex   gz   

Extending Casl by late binding
Davide Ancona, Maura Cerioli, Elena Zucca
WADT'99 - Workshop on Algebraic Development Techniques - Selected Papers. D. Bert, C. Choppy (Eds.). pp. 53-72. no. 1827. Publisher: Springer. Series: Lecture Notes in Computer Science. 2000.
Abstract   Bibtex   gz   

Overloading and inheritance in Java (extended abstract)
Davide Ancona, Elena Zucca, Sophia Drossopoulou
FTfJP'00 - Formal Techniques for Java Programs. 2000.
Abstract   Bibtex   url   

A core calculus for Java exceptions (extended abstract)
Davide Ancona, Giovanni Lagorio, Elena Zucca
FTfJP'00 - Formal Techniques for Java Programs. 2000. An extended version of this paper is "A core calculus for Java exceptions".
Abstract   Bibtex   gz   

1999

ARTICLE

From static to dynamic abstract data-types: An institution transformation
Elena Zucca
Theoretical Computer Science. pp. 109-157. vol. 216no. 1-2. 1999. Extended version of "From static to dynamic abstract data-types".
Abstract   Bibtex   gz   

Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages
Egidio Astesiano, Gianna Reggio, Elena Zucca
Science of Computer Programming. pp. 163-190. vol. 34no. 3. 1999. Extended version of "Stores as homomorphisms and their tranformations".
Abstract   Bibtex   gz   

Deriving proof rules from continuation semantics
Philippe Audebaud, Elena Zucca
Formal Aspects of Computing. pp. 426-447. vol. 11no. 4. 1999.
Bibtex   gz   

INPROCEEDINGS

A formal framework with late binding
Davide Ancona, Maura Cerioli, Elena Zucca
FASE'99 - Fundamental Approaches to Software Engineering. J.-P. Finance (Eds.). pp. 30-44. no. 1577. Publisher: Springer. Series: Lecture Notes in Computer Science. 1999. See also the technical report version, including proofs.
Abstract   Bibtex   gz   gz   

A primitive calculus for module systems
Davide Ancona, Elena Zucca
PPDP'99 - Principles and Practice of Declarative Programming. G. Nadathur (Eds.). pp. 62-79. no. 1702. Publisher: Springer. Series: Lecture Notes in Computer Science. 1999. An extended version of this paper is "A calculus of module systems". See also the interpreter for the calculus.
Abstract   Bibtex   gz   html   

1998

ARTICLE

A theory of mixin modules: basic and derived operators
Davide Ancona, Elena Zucca
Mathematical Structures in Computer Science. pp. 401-446. vol. 8no. 4. 1998. Extended version of "An Algebraic Approach to Mixins and Modularity".
Abstract   Bibtex   gz   

INPROCEEDINGS

An algebra of mixin modules
Davide Ancona, Elena Zucca
WADT'97 - Workshop on Algebraic Development Techniques - Selected Papers. F. Parisi-Presicce (Eds.). pp. 92-106. no. 1376. Publisher: Springer. Series: Lecture Notes in Computer Science. 1998. An extended version of this paper is "A theory of mixin modules: algebraic laws and reduction semantics".
Abstract   Bibtex   gz   

Implementation of derived programs (almost) for free
Maura Cerioli, Elena Zucca
WADT'97 - Workshop on Algebraic Development Techniques - Selected Papers. F. Parisi-Presicce (Eds.). pp. 141-155. no. 1376. Publisher: Springer. Series: Lecture Notes in Computer Science. 1998.
Abstract   Bibtex   gz   

TECHREPORT

A theory of modules with state
Davide Ancona, Elena Zucca
1998. Technical report, DISI-TR-98. Extended version of "A formal framework for modules with state".
Abstract   Bibtex   gz   

1997

INPROCEEDINGS

Overriding operators in a mixin-based framework
Davide Ancona, Elena Zucca
PLILP '97 - Programming Languages, Implementations, Logics, and Programs. H. Glaser, P. Hartel, H. Kuchen (Eds.). pp. 47-61. no. 1292. Publisher: Springer. Series: Lecture Notes in Computer Science. 1997.
Abstract   Bibtex   gz   

1996

ARTICLE

A free construction of dynamic terms
Egidio Astesiano, Elena Zucca
Journal of Computer and System Sciences. pp. 143-156. vol. 52no. 1. 1996.
Abstract   Bibtex   gz   

An algebraic semantic framework for object-oriented languages with concurrency (extended abstract)
Ruth Breu, Elena Zucca
Formal Aspects of Computing. pp. 706-715. vol. 8no. 6. 1996. Full version in the FACS electronic supplement (Vol.8E n.6). This paper is an improved version of "An algebraic compositional semantics of an object-oriented notation with concurrency".
Abstract   Bibtex   gz   gz   

INPROCEEDINGS

From static to dynamic abstract data-types
Elena Zucca
MFCS'96 - Mathematical Foundations of Computer Science. W. Penczek, A. Szalas (Eds.). pp. 579-590. no. 1113. Publisher: Springer. Series: Lecture Notes in Computer Science. 1996. An extended version of this paper is "From static to dynamic abstract data-types: An institution transformation".
Abstract   Bibtex   gz   

An algebraic approach to mixins and modularity
Davide Ancona, Elena Zucca
ALP '96 - Algebraic and Logic Programming. M. Hanus, M. Rodríguez-Artalejo (Eds.). pp. 179-193. no. 1139. Publisher: Springer. Series: Lecture Notes in Computer Science. 1996. An extended version of this paper is "A theory of mixin modules: basic and derived operators".
Abstract   Bibtex   gz   

A formal framework for modules with state
Davide Ancona, Elena Zucca
AMAST'96 - Algebraic Methodology and Software Technology. M. Wirsing, M. Nivat (Eds.). pp. 148-162. no. 1101. Publisher: Springer. Series: Lecture Notes in Computer Science. 1996. An extended version of this paper is "A theory of modules with state".
Abstract   Bibtex   gz   

1995

ARTICLE

D-oids: A model for dynamic data-types
Egidio Astesiano, Elena Zucca
Mathematical Structures in Computer Science. pp. 257-282. vol. 5no. 2. 1995.
Abstract   Bibtex   gz   

1994

INPROCEEDINGS

Implementation of data structures in an imperative framework
Elena Zucca
Recent Trends in Data Type Specification - Workshop on Specification of Abstract Data Types, joint with COMPASS Workshop - Selected Papers. E. Astesiano, G. Reggio, A. Tarlecki (Eds.). pp. 483-498. no. 906. Publisher: Springer. Series: Lecture Notes in Computer Science. 1994.
Abstract   Bibtex   gz   

1993

INPROCEEDINGS

Towards a classification of inheritance relations
Davide Ancona, E. Astesiano, Elena Zucca
ISCORE '93 - Information Systems - Correctness and Reusability. U.W. Lipeck, G. Koschorreck (Eds.). pp. 90-113. no. 01/93. Publisher: Universitaet Hannover. Series: Informatik-Berichte. 1993.
Abstract   Bibtex   gz   

Stores as homomorphisms and their transformations
Egidio Astesiano, Gianna Reggio, Elena Zucca
MFCS'93 - Mathematical Foundations of Computer Science. A. M. Borzyszkowski, S. Sokolowski (Eds.). pp. 242-251. no. 711. Publisher: Springer. Series: Lecture Notes in Computer Science. 1993. An extended version of this paper is "Stores as homomorphisms and their transformation: A uniform approach to structured types in imperative languages".
Abstract   Bibtex   gz   

1992

INPROCEEDINGS

A semantic model for dynamic systems
Egidio Astesiano, Elena Zucca
Modelling Database Dynamics - Foundations of Models and Languages for Data and Objects - Selected Papers. U. W. Lipeck, B. Thalheim (Eds.). pp. 63-83. Publisher: Springer. Series: Workshops in Computing. 1992.
Abstract   Bibtex   gz   

1989

INPROCEEDINGS

An algebraic compositional semantics of an object-oriented notation with concurrency
Ruth Breu, Elena Zucca
FSTTCS'89 - Foundations of Software Technology and Theoretical Computer Science. C. E. Veni Madhavan (Eds.). pp. 131-142. no. 405. Publisher: Springer. Series: Lecture Notes in Computer Science. 1989. An improved version of this paper is "An algebraic semantic framework for object-oriented languages with concurrency".
Abstract   Bibtex   gz   

1987

INPROCEEDINGS

1984

ARTICLE

1981

INPROCEEDINGS