Elena Zucca

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 50

Top Venues

Publications

Davide Ancona, Pietro Barbieri, Elena Zucca
Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. 1009 (2024)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Multi-Graded Featherweight Java. ECOOP (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Multi-graded Featherweight Java. CoRR (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971 (2023)
Davide Ancona, Pietro Barbieri, Elena Zucca
Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. 974 (2023)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for Sharing and Mutation. CoRR (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhancing Expressivity of Checked Corecursive Streams. FLOPS (2022)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhancing expressivity of checked corecursive streams (extended version). CoRR (2022)
Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
A Java-Like Calculus with User-Defined Coeffects. ICTCS (2022)
Luca Ciccone, Francesco Dagnino, Elena Zucca
Flexible Coinduction in Agda. ITP (2021)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhanced Regular Corecursion for Data Streams. CoRR (2021)
Davide Ancona, Pietro Barbieri, Elena Zucca
Enhanced Regular Corecursion for Data Streams. ICTCS (2021)
Marco Servetto, Elena Zucca
λ-Based Object-Oriented Programming (Pearl). ECOOP (2021)
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP (2020)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
Sound Regular Corecursion in coFJ. CoRR (2020)
Francesco Dagnino, Davide Ancona, Elena Zucca
Flexible coinductive logic programming. CoRR (2020)
Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
A big step from finite to infinite computations. Sci. Comput. Program. 197 (2020)
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Soundness conditions for big-step semantics. CoRR (2020)
Francesco Dagnino, Davide Ancona, Elena Zucca
Flexible coinductive logic programming. Theory Pract. Log. Program. 20 (6) (2020)
Pietro Barbieri, Francesco Dagnino, Elena Zucca
An inductive abstract semantics for coFJ. FTfJP@ECOOP (2020)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
Sound Regular Corecursion in coFJ. ECOOP (2020)
Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
Soundness Conditions for Big-Step Semantics. ESOP (2020)
Paola Giannini, Marco Servetto, Elena Zucca, James Cone
Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. 764 (2019)
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus. Sci. Comput. Program. 172 (2019)
Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona
Corecursive Featherweight Java Revisited. ICTCS (2019)
Paola Giannini, Marco Servetto, Elena Zucca
Tracing and Preventing Sharing and Mutation. ICTCS (2019)
Silvia Crafa, Matteo Di Pirro, Elena Zucca
Is Solidity Solid Enough? Financial Cryptography Workshops (2019)
Paola Giannini, Marco Servetto, Elena Zucca
A type and effect system for uniqueness and immutability. SAC (2018)
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
Semantic subtyping for non-strict languages. CoRR (2018)
Davide Ancona, Francesco Dagnino, Elena Zucca
Modeling Infinite Behaviour by Corules. ECOOP (2018)
Paola Giannini, Marco Servetto, Elena Zucca, James Cone
Flexible recovery of uniqueness and immutability (Extended Version). CoRR (2018)
Paola Giannini, Marco Servetto, Elena Zucca
A Syntactic Model of Mutation and Aliasing. DCM/ITRS (2018)
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
Semantic Subtyping for Non-Strict Languages. TYPES (2018)
Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus. CoRR (2018)
Davide Ancona, Francesco Dagnino, Elena Zucca
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Paola Giannini, Marco Servetto, Elena Zucca
A type and effect system for sharing. SAC (2017)
Davide Ancona, Paola Giannini, Elena Zucca
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27 (2) (2017)
Paola Giannini, Marco Servetto, Elena Zucca
Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP (2017)
Davide Ancona, Francesco Dagnino, Elena Zucca
Generalizing Inference Systems by Coaxioms. ESOP (2017)
Davide Ancona, Francesco Dagnino, Elena Zucca
Towards a model of corecursion with default. FTfJP@ECOOP (2016)
Davide Ancona, Francesco Dagnino, Elena Zucca
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Coupling catch clauses with local declarations. FTfJP@ECOOP (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Initialize-and-catch. SAC (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Types for Immutability and Aliasing Control. ICTCS (2016)
Andrea Capriccioli, Marco Servetto, Elena Zucca
An Imperative Pure Calculus. Electron. Notes Theor. Comput. Sci. 322 (2016)
Davide Ancona, Paola Giannini, Elena Zucca
Incremental Rebinding with Name Polymorphism. Electron. Notes Theor. Comput. Sci. 322 (2016)
Paola Giannini, Marco Servetto, Elena Zucca
Runtime Checks as Nominal Types. ICTCS (2016)
Davide Ancona, Paola Giannini, Elena Zucca
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES (2015)
Marco Servetto, Elena Zucca
Aliasing Control in an Imperative Pure Calculus. APLAS (2015)
Marco Servetto, Elena Zucca
A meta-circular language for active libraries. Sci. Comput. Program. 95 (2014)
Marco Servetto, Elena Zucca
A meta-circular language for active libraries. PEPM (2013)
Davide Ancona, Elena Zucca
Safe corecursion in coFJ. FTfJP@ECOOP (2013)
Andrea Corradi, Marco Servetto, Elena Zucca
DeepFJig - Modular composition of nested classes. J. Object Technol. 11 (2) (2012)
Giovanni Lagorio, Marco Servetto, Elena Zucca
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. 214 (2012)
Davide Ancona, Elena Zucca
Corecursive Featherweight Java. FTfJP@ECOOP (2012)
Davide Ancona, Paola Giannini, Elena Zucca
Reconciling positional and nominal binding. ITRS (2012)
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)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. 45 (1) (2011)
Andrea Corradi, Marco Servetto, Elena Zucca
DeepFJig: modular composition of nested classes. PPPJ (2011)
Marco Servetto, Elena Zucca
MetaFJig: a meta-circular composition language for Java-like classes. OOPSLA (2010)
Giovanni Lagorio, Marco Servetto, Elena Zucca
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. Electron. Notes Theor. Comput. Sci. 263 (2010)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Intersection types for unbind and rebind ITRS (2010)
Giovanni Lagorio, Marco Servetto, Elena Zucca
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
The essence of static and dynamic bindings. ICTCS (2009)
Giovanni Lagorio, Marco Servetto, Elena Zucca
Customizable composition operators for Java-like classes. ICTCS (2009)
Davide Ancona, Sonia Fagorzi, Elena Zucca
A Parametric Calculus for Mobile Open Code. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Davide Ancona, Giovanni Lagorio, Elena Zucca
Type Inference by Coinductive Logic Programming. TYPES (2008)
Davide Ancona, Giovanni Lagorio, Elena Zucca
Type inference for polymorphic methods in Java-like languages. ICTCS (2007)
Davide Ancona, Elena Zucca
A formal framework for compositional compilation. ICTCS (2007)
Giovanni Lagorio, Elena Zucca
Just: Safe Unknown Types in Java-like Languages. J. Object Technol. 6 (2) (2007)
Sonia Fagorzi, Elena Zucca
A calculus of open modules: call-by-need strategy and confluence. Math. Struct. Comput. Sci. 17 (4) (2007)
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)
Sonia Fagorzi, Elena Zucca
A Calculus of Components with Dynamic Type-Checking. Electron. Notes Theor. Comput. Sci. 182 (2007)
Sonia Fagorzi, Elena Zucca
A Calculus for Reconfiguration: (Extended abstract). Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Davide Ancona, Giovanni Lagorio, Elena Zucca
Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC (2006)
Giovanni Lagorio, Elena Zucca
Introducing safe unknown types in Java-like languages. SAC (2006)
Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
Formal Techniques for Java-Like Programs. ECOOP Workshops (2006)
Sonia Fagorzi, Elena Zucca
A Framework for Type Safe Exchange of Mobile Code. TGC (2006)
Davide Ancona, Sonia Fagorzi, Elena Zucca
A Calculus for Dynamic Reconfiguration with Low Priority Linking. Electron. Notes Theor. Comput. Sci. 138 (2) (2005)
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
Polymorphic bytecode: compositional compilation for Java-like languages. POPL (2005)
Davide Ancona, Sonia Fagorzi, Elena Zucca
Mixin Modules for Dynamic Rebinding. TGC (2005)
Davide Ancona, Elena Zucca
Principal typings for Java-like languages. POPL (2004)
Sonia Fagorzi, Elena Zucca
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. J. Object Technol. 3 (11) (2004)
Davide Ancona, Sonia Fagorzi, Elena Zucca
A Calculus with Lazy Module Operators. IFIP TCS (2004)
Sonia Fagorzi, Elena Zucca, Davide Ancona
Modeling multiple class loaders by a calculus for dynamic linking. SAC (2004)
Davide Ancona, Sonia Fagorzi, Elena Zucca
A Calculus for Dynamic Linking. ICTCS (2003)
Davide Ancona, Giovanni Lagorio, Elena Zucca
Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25 (5) (2003)
Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
Mixin Modules and Computational Effects. ICALP (2003)
Davide Ancona, Elena Zucca
A calculus of module systems. J. Funct. Program. 12 (2) (2002)
Davide Ancona, Elena Zucca
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Math. Struct. Comput. Sci. 12 (6) (2002)
Davide Ancona, Giovanni Lagorio, Elena Zucca
A Formal Framework for Java Separate Compilation. ECOOP (2002)
Davide Ancona, Giovanni Lagorio, Elena Zucca
True separate compilation of Java classes. PPDP (2002)
Davide Ancona, Elena Zucca
True Modules for Java-like Languages. ECOOP (2001)
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
An Effective Translation of Fickle into Java. ICTCS (2001)
Davide Ancona, Giovanni Lagorio, Elena Zucca
A Core Calculus for Java Exceptions. OOPSLA (2001)
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
A type preserving translation of Fickle into Java. Electron. Notes Theor. Comput. Sci. 62 (2001)
Davide Ancona, Giovanni Lagorio, Elena Zucca
Jam - A Smooth Extension of Java with Mixins. ECOOP (2000)

Elena Zucca.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Elena Zucca