default search action
Elena Zucca
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j30]Davide Ancona, Pietro Barbieri, Elena Zucca:
Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. 1009: 114680 (2024) - 2023
- [j29]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. 7(OOPSLA2): 1281-1309 (2023) - [j28]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. 971: 114063 (2023) - [j27]Davide Ancona, Pietro Barbieri, Elena Zucca:
Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. 974: 114081 (2023) - [c84]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-Graded Featherweight Java. ECOOP 2023: 3:1-3:27 - [i10]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
Multi-graded Featherweight Java. CoRR abs/2302.07782 (2023) - 2022
- [j26]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for sharing and mutation. Proc. ACM Program. Lang. 6(OOPSLA2): 870-898 (2022) - [c83]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhancing Expressivity of Checked Corecursive Streams. FLOPS 2022: 1-18 - [c82]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca:
A Java-Like Calculus with User-Defined Coeffects. ICTCS 2022: 66-78 - [c81]Davide Ancona, Pietro Barbieri, Elena Zucca:
Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS 2022: 86-98 - [i9]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhancing expressivity of checked corecursive streams (extended version). CoRR abs/2202.06868 (2022) - [i8]Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto:
Coeffects for Sharing and Mutation. CoRR abs/2209.07439 (2022) - 2021
- [c80]Marco Servetto, Elena Zucca:
λ-Based Object-Oriented Programming (Pearl). ECOOP 2021: 21:1-21:16 - [c79]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. ICTCS 2021: 266-280 - [c78]Luca Ciccone, Francesco Dagnino, Elena Zucca:
Flexible Coinduction in Agda. ITP 2021: 13:1-13:19 - [i7]Davide Ancona, Pietro Barbieri, Elena Zucca:
Enhanced Regular Corecursion for Data Streams. CoRR abs/2108.00281 (2021) - 2020
- [j25]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A big step from finite to infinite computations. Sci. Comput. Program. 197: 102492 (2020) - [j24]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. Theory Pract. Log. Program. 20(6): 818-833 (2020) - [c77]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. ECOOP 2020: 1:1-1:28 - [c76]Pietro Barbieri, Francesco Dagnino, Elena Zucca:
An inductive abstract semantics for coFJ. FTfJP@ECOOP 2020: 4-9 - [c75]Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca:
A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP 2020: 32:1-32:2 - [c74]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness Conditions for Big-Step Semantics. ESOP 2020: 169-196 - [i6]Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini:
Soundness conditions for big-step semantics. CoRR abs/2002.08738 (2020) - [i5]Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca:
Sound Regular Corecursion in coFJ. CoRR abs/2005.14085 (2020) - [i4]Francesco Dagnino, Davide Ancona, Elena Zucca:
Flexible coinductive logic programming. CoRR abs/2008.02140 (2020)
2010 – 2019
- 2019
- [j23]Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus. Sci. Comput. Program. 172: 180-202 (2019) - [j22]Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. 764: 145-172 (2019) - [c73]Silvia Crafa, Matteo Di Pirro, Elena Zucca:
Is Solidity Solid Enough? Financial Cryptography Workshops 2019: 138-153 - [c72]Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona:
Corecursive Featherweight Java Revisited. ICTCS 2019: 158-170 - [c71]Paola Giannini, Marco Servetto, Elena Zucca:
Tracing and Preventing Sharing and Mutation. ICTCS 2019: 190-203 - 2018
- [c70]Davide Ancona, Francesco Dagnino, Elena Zucca:
Modeling Infinite Behaviour by Corules. ECOOP 2018: 21:1-21:31 - [c69]Paola Giannini, Marco Servetto, Elena Zucca:
A type and effect system for uniqueness and immutability. SAC 2018: 1038-1045 - [c68]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic Subtyping for Non-Strict Languages. TYPES 2018: 4:1-4:24 - [c67]Paola Giannini, Marco Servetto, Elena Zucca:
A Syntactic Model of Mutation and Aliasing. DCM/ITRS 2018: 39-55 - [i3]Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus. CoRR abs/1803.05838 (2018) - [i2]Paola Giannini, Marco Servetto, Elena Zucca, James Cone:
Flexible recovery of uniqueness and immutability (Extended Version). CoRR abs/1807.00137 (2018) - [i1]Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic subtyping for non-strict languages. CoRR abs/1810.05555 (2018) - 2017
- [j21]Davide Ancona, Paola Giannini, Elena Zucca:
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27(2): 94-122 (2017) - [j20]Davide Ancona, Francesco Dagnino, Elena Zucca:
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1(OOPSLA): 81:1-81:26 (2017) - [c66]Paola Giannini, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP 2017: 6:1-6:6 - [c65]Davide Ancona, Francesco Dagnino, Elena Zucca:
Generalizing Inference Systems by Coaxioms. ESOP 2017: 29-55 - [c64]Paola Giannini, Marco Servetto, Elena Zucca:
A type and effect system for sharing. SAC 2017: 1513-1515 - 2016
- [c63]Paola Giannini, Marco Servetto, Elena Zucca:
Coupling catch clauses with local declarations. FTfJP@ECOOP 2016: 6 - [c62]Davide Ancona, Francesco Dagnino, Elena Zucca:
Towards a model of corecursion with default. FTfJP@ECOOP 2016: 9 - [c61]Paola Giannini, Marco Servetto, Elena Zucca:
Types for Immutability and Aliasing Control. ICTCS 2016: 62-74 - [c60]Paola Giannini, Marco Servetto, Elena Zucca:
Runtime Checks as Nominal Types. ICTCS 2016: 75-87 - [c59]Paola Giannini, Marco Servetto, Elena Zucca:
Initialize-and-catch. SAC 2016: 1819-1822 - [c58]Davide Ancona, Francesco Dagnino, Elena Zucca:
Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty 2016: 1-18 - 2015
- [c57]Marco Servetto, Elena Zucca:
Aliasing Control in an Imperative Pure Calculus. APLAS 2015: 208-228 - [c56]Davide Ancona, Paola Giannini, Elena Zucca:
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES 2015: 4:1-4:29 - [c55]Davide Ancona, Paola Giannini, Elena Zucca:
Incremental Rebinding with Name Polymorphism. ICTCS 2015: 19-34 - [c54]Andrea Capriccioli, Marco Servetto, Elena Zucca:
An Imperative Pure Calculus. ICTCS 2015: 87-102 - 2014
- [j19]Marco Servetto, Elena Zucca:
A meta-circular language for active libraries. Sci. Comput. Program. 95: 219-253 (2014) - 2013
- [c53]Davide Ancona, Elena Zucca:
Safe corecursion in coFJ. FTfJP@ECOOP 2013: 2:1-2:7 - [c52]Marco Servetto, Elena Zucca:
A meta-circular language for active libraries. PEPM 2013: 117-126 - 2012
- [j18]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. 214: 86-111 (2012) - [j17]Andrea Corradi, Marco Servetto, Elena Zucca:
DeepFJig - Modular composition of nested classes. J. Object Technol. 11(2): 1: 1-42 (2012) - [c51]Davide Ancona, Elena Zucca:
Corecursive Featherweight Java. FTfJP@ECOOP 2012: 3-10 - [c50]Davide Ancona, Paola Giannini, Elena Zucca:
Reconciling positional and nominal binding. ITRS 2012: 81-93 - 2011
- [j16]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. 45(1): 143-162 (2011) - [c49]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 - [c48]Andrea Corradi, Marco Servetto, Elena Zucca:
DeepFJig: modular composition of nested classes. PPPJ 2011: 101-110 - 2010
- [c47]Marco Servetto, Elena Zucca:
MetaFJig: a meta-circular composition language for Java-like classes. OOPSLA 2010: 464-483 - [c46]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Intersection types for unbind and rebind. ITRS 2010: 45-58 - [e1]John Hatcliff, Elena Zucca:
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 [contents]
2000 – 2009
- 2009
- [c45]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP 2009: 244-268 - [c44]Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
The essence of static and dynamic bindings. ICTCS 2009: 99-106 - [c43]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Customizable composition operators for Java-like classes. ICTCS 2009: 136-142 - [c42]Giovanni Lagorio, Marco Servetto, Elena Zucca:
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. FACS@FMWeek 2009: 161-177 - 2008
- [c41]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18 - 2007
- [j15]Giovanni Lagorio, Elena Zucca:
Just: Safe Unknown Types in Java-like Languages. J. Object Technol. 6(2): 69-98 (2007) - [j14]Sonia Fagorzi, Elena Zucca:
A calculus of open modules: call-by-need strategy and confluence. Math. Struct. Comput. Sci. 17(4): 675-751 (2007) - [j13]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): 13 (2007) - [c40]Davide Ancona, Elena Zucca:
A formal framework for compositional compilation. ICTCS 2007: 106-117 - [c39]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type inference for polymorphic methods in Java-like languages. ICTCS 2007: 118-129 - [c38]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Parametric Calculus for Mobile Open Code. DCM@ICALP 2007: 3-22 - 2006
- [c37]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 - [c36]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154 - [c35]Giovanni Lagorio, Elena Zucca:
Introducing safe unknown types in Java-like languages. SAC 2006: 1429-1434 - [c34]Sonia Fagorzi, Elena Zucca:
A Framework for Type Safe Exchange of Mobile Code. TGC 2006: 319-338 - [c33]Sonia Fagorzi, Elena Zucca:
A Calculus of Components with Dynamic Type-Checking. FACS 2006: 73-90 - 2005
- [c32]Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 - [c31]Davide Ancona, Sonia Fagorzi, Elena Zucca:
Mixin Modules for Dynamic Rebinding. TGC 2005: 279-298 - [c30]Sonia Fagorzi, Elena Zucca:
A Calculus for Reconfiguration: (Extended abstract). DCM@ICALP 2005: 49-59 - 2004
- [j12]Sonia Fagorzi, Elena Zucca:
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. J. Object Technol. 3(11): 31-54 (2004) - [c29]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus with Lazy Module Operators. IFIP TCS 2004: 423-436 - [c28]Davide Ancona, Elena Zucca:
Principal typings for Java-like languages. POPL 2004: 306-317 - [c27]Sonia Fagorzi, Elena Zucca, Davide Ancona:
Modeling multiple class loaders by a calculus for dynamic linking. SAC 2004: 1281-1288 - [c26]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus for Dynamic Reconfiguration with Low Priority Linking. WOOD 2004: 3-35 - 2003
- [j11]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) - [c25]Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca:
Mixin Modules and Computational Effects. ICALP 2003: 224-238 - [c24]Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus for Dynamic Linking. ICTCS 2003: 284-301 - 2002
- [j10]Davide Ancona, Elena Zucca:
A calculus of module systems. J. Funct. Program. 12(2): 91-132 (2002) - [j9]Davide Ancona, Elena Zucca:
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Math. Struct. Comput. Sci. 12(6): 701-737 (2002) - [c23]Davide Ancona, Giovanni Lagorio, Elena Zucca:
A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636 - [c22]Davide Ancona, Giovanni Lagorio, Elena Zucca:
True separate compilation of Java classes. PPDP 2002: 189-200 - 2001
- [c21]Davide Ancona, Elena Zucca:
True Modules for Java-like Languages. ECOOP 2001: 354-380 - [c20]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 - [c19]Davide Ancona, Giovanni Lagorio, Elena Zucca:
A Core Calculus for Java Exceptions. OOPSLA 2001: 16-30 - [c18]Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A type preserving translation of Fickle into Java. TOSCA 2001: 69-82 - 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 Aspects 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]Davide Ancona, Maura Cerioli, Elena Zucca:
A Formal Framework with Late Binding. FASE 1999: 30-44 - [c15]Davide Ancona, Elena Zucca:
A Primitive Calculus for Module Systems. PPDP 1999: 62-79 - [c14]Davide Ancona, Maura Cerioli, Elena Zucca:
Extending Casl by Late Binding. WADT 1999: 53-72 - 1998
- [j5]Davide Ancona, Elena Zucca:
A Theory of Mixin Modules: Basic and Derived Operators. Math. Struct. Comput. Sci. 8(4): 401-446 (1998) - 1997
- [c13]Davide Ancona, Elena Zucca:
Overriding Operators in a Mixin-Based Framework. PLILP 1997: 47-61 - [c12]Davide Ancona, Elena Zucca:
An algebra of mixin modules. WADT 1997: 92-106 - [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 Aspects 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]Davide Ancona, Elena Zucca:
An Algebraic Approach to Mixins and Modularity. ALP 1996: 179-193 - [c9]Davide Ancona, Elena Zucca:
A Formal Framework for Modules with State. AMAST 1996: 148-162 - [c8]Elena Zucca:
From Static to Dynamic Abstract Data-Types. MFCS 1996: 579-590 - 1995
- [j2]Egidio Astesiano, Elena Zucca:
D-oids: A Model for Dynamic Data-Types. Math. Struct. Comput. Sci. 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]Egidio Astesiano, Elena Zucca:
A Semantic Model for Dynamic Systems. FMLDO 1992: 63-83
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]