Elena Zucca - RankMe

130 papers A* 3A 15B 6C 3Misc 6Journal 43Unranked 53

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	An Effectful Object Calculus. ECOOP Francesco Dagnino, Paola Giannini, Elena Zucca
2025	J	`jnl`	An effectful object calculus. CoRR Francesco Dagnino, Paola Giannini, Elena Zucca
2025	J	`jnl`	Don't exhaust, don't waste. CoRR Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2025	A	`conf`	Monadic Type-And-Effect Soundness. ECOOP Francesco Dagnino, Paola Giannini, Elena Zucca
2025	J	`jnl`	Monadic type-and-effect soundness. CoRR Francesco Dagnino, Paola Giannini, Elena Zucca
2024	J	`jnl`	Checking equivalence of corecursive streams: An inductive procedure. Theor. Comput. Sci. Davide Ancona, Pietro Barbieri, Elena Zucca
2023	J	`jnl`	A Java-like calculus with heterogeneous coeffects. Theor. Comput. Sci. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023	J	`jnl`	Checked corecursive streams: Expressivity and completeness. Theor. Comput. Sci. Davide Ancona, Pietro Barbieri, Elena Zucca
2023	A	`conf`	Multi-Graded Featherweight Java. ECOOP Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023	J	`jnl`	Multi-graded Featherweight Java. CoRR Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2023	J	`jnl`	Resource-Aware Soundness for Big-Step Semantics. Proc. ACM Program. Lang. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2022	—	`conf`	A Java-Like Calculus with User-Defined Coeffects. ICTCS Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
2022	J	`jnl`	Coeffects for Sharing and Mutation. CoRR Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
2022	J	`jnl`	Coeffects for sharing and mutation. Proc. ACM Program. Lang. Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto
2022	Misc	`conf`	Enhancing Expressivity of Checked Corecursive Streams. FLOPS Davide Ancona, Pietro Barbieri, Elena Zucca
2022	J	`jnl`	Enhancing expressivity of checked corecursive streams (extended version). CoRR Davide Ancona, Pietro Barbieri, Elena Zucca
2022	—	`conf`	Equality of Corecursive Streams Defined by Finitary Equational Systems. ICTCS Davide Ancona, Pietro Barbieri, Elena Zucca
2021	—	`conf`	Enhanced Regular Corecursion for Data Streams. ICTCS Davide Ancona, Pietro Barbieri, Elena Zucca
2021	J	`jnl`	Enhanced Regular Corecursion for Data Streams. CoRR Davide Ancona, Pietro Barbieri, Elena Zucca
2021	B	`conf`	Flexible Coinduction in Agda. ITP Luca Ciccone, Francesco Dagnino, Elena Zucca
2021	A	`conf`	λ-Based Object-Oriented Programming (Pearl). ECOOP Marco Servetto, Elena Zucca
2020	A	`conf`	A Big Step from Finite to Infinite Computations (SCICO Journal-first). ECOOP Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2020	J	`jnl`	A big step from finite to infinite computations. Sci. Comput. Program. Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca
2020	—	`conf`	An inductive abstract semantics for coFJ. FTfJP@ECOOP Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020	J	`jnl`	Flexible coinductive logic programming. CoRR Francesco Dagnino, Davide Ancona, Elena Zucca
2020	J	`jnl`	Flexible coinductive logic programming. Theory Pract. Log. Program. Francesco Dagnino, Davide Ancona, Elena Zucca
2020	A	`conf`	Sound Regular Corecursion in coFJ. ECOOP Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020	J	`jnl`	Sound Regular Corecursion in coFJ. CoRR Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020	A	`conf`	Soundness Conditions for Big-Step Semantics. ESOP Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
2020	J	`jnl`	Soundness conditions for big-step semantics. CoRR Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini
2019	—	`conf`	Corecursive Featherweight Java Revisited. ICTCS Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona
2019	J	`jnl`	Flexible recovery of uniqueness and immutability. Theor. Comput. Sci. Paola Giannini, Marco Servetto, Elena Zucca, James Cone
2019	—	`conf`	Is Solidity Solid Enough? Financial Cryptography Workshops Silvia Crafa, Matteo Di Pirro, Elena Zucca
2019	—	`conf`	Tracing and Preventing Sharing and Mutation. ICTCS Paola Giannini, Marco Servetto, Elena Zucca
2019	J	`jnl`	Tracing sharing in an imperative pure calculus. Sci. Comput. Program. Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
2018	—	`conf`	A Syntactic Model of Mutation and Aliasing. DCM/ITRS Paola Giannini, Marco Servetto, Elena Zucca
2018	Misc	`conf`	A type and effect system for uniqueness and immutability. SAC Paola Giannini, Marco Servetto, Elena Zucca
2018	J	`jnl`	Flexible recovery of uniqueness and immutability (Extended Version). CoRR Paola Giannini, Marco Servetto, Elena Zucca, James Cone
2018	A	`conf`	Modeling Infinite Behaviour by Corules. ECOOP Davide Ancona, Francesco Dagnino, Elena Zucca
2018	—	`conf`	Semantic Subtyping for Non-Strict Languages. TYPES Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
2018	J	`jnl`	Semantic subtyping for non-strict languages. CoRR Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca
2018	J	`jnl`	Tracing sharing in an imperative pure calculus. CoRR Paola Giannini, Tim Richter, Marco Servetto, Elena Zucca
2017	Misc	`conf`	A type and effect system for sharing. SAC Paola Giannini, Marco Servetto, Elena Zucca
2017	A	`conf`	Generalizing Inference Systems by Coaxioms. ESOP Davide Ancona, Francesco Dagnino, Elena Zucca
2017	J	`jnl`	Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. Davide Ancona, Francesco Dagnino, Elena Zucca
2017	—	`conf`	Tracing sharing in an imperative pure calculus: extended abstract. FTfJP@ECOOP Paola Giannini, Marco Servetto, Elena Zucca
2017	J	`jnl`	Type safe incremental rebinding. Math. Struct. Comput. Sci. Davide Ancona, Paola Giannini, Elena Zucca
2016	—	`conf`	Coupling catch clauses with local declarations. FTfJP@ECOOP Paola Giannini, Marco Servetto, Elena Zucca
2016	—	`conf`	Extending Coinductive Logic Programming with Co-Facts. CoALP-Ty Davide Ancona, Francesco Dagnino, Elena Zucca
2016	Misc	`conf`	Initialize-and-catch. SAC Paola Giannini, Marco Servetto, Elena Zucca
2016	—	`conf`	Runtime Checks as Nominal Types. ICTCS Paola Giannini, Marco Servetto, Elena Zucca
2016	—	`conf`	Towards a model of corecursion with default. FTfJP@ECOOP Davide Ancona, Francesco Dagnino, Elena Zucca
2016	—	`conf`	Types for Immutability and Aliasing Control. ICTCS Paola Giannini, Marco Servetto, Elena Zucca
2015	B	`conf`	Aliasing Control in an Imperative Pure Calculus. APLAS Marco Servetto, Elena Zucca
2015	—	`conf`	An Imperative Pure Calculus. ICTCS Andrea Capriccioli, Marco Servetto, Elena Zucca
2015	—	`conf`	Constrained Polymorphic Types for a Calculus with Name Variables. TYPES Davide Ancona, Paola Giannini, Elena Zucca
2015	—	`conf`	Incremental Rebinding with Name Polymorphism. ICTCS Davide Ancona, Paola Giannini, Elena Zucca
2014	J	`jnl`	A meta-circular language for active libraries. Sci. Comput. Program. Marco Servetto, Elena Zucca
2013	C	`conf`	A meta-circular language for active libraries. PEPM Marco Servetto, Elena Zucca
2013	—	`conf`	Safe corecursion in coFJ. FTfJP@ECOOP Davide Ancona, Elena Zucca
2012	—	`conf`	Corecursive Featherweight Java. FTfJP@ECOOP Davide Ancona, Elena Zucca
2012	J	`jnl`	DeepFJig - Modular composition of nested classes. J. Object Technol. Andrea Corradi, Marco Servetto, Elena Zucca
2012	J	`jnl`	Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. Giovanni Lagorio, Marco Servetto, Elena Zucca
2012	—	`conf`	Reconciling positional and nominal binding. ITRS Davide Ancona, Paola Giannini, Elena Zucca
2011	—	`conf`	2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary. OOPSLA Companion Jonathan Aldrich, Jeremy G. Siek, Elena Zucca
2011	—	`conf`	DeepFJig: modular composition of nested classes. PPPJ Andrea Corradi, Marco Servetto, Elena Zucca
2011	J	`jnl`	Extending the lambda-calculus with unbind and rebind. RAIRO Theor. Informatics Appl. Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2010	—	`ed.`	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 FMOODS/FORTE John Hatcliff, Elena Zucca
2010	—	`conf`	Intersection types for unbind and rebind ITRS Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2010	A	`conf`	MetaFJig: a meta-circular composition language for Java-like classes. OOPSLA Marco Servetto, Elena Zucca
2009	—	`conf`	A Lightweight Approach to Customizable Composition Operators for Java-like Classes. FACS@FMWeek Giovanni Lagorio, Marco Servetto, Elena Zucca
2009	—	`conf`	Customizable composition operators for Java-like classes. ICTCS Giovanni Lagorio, Marco Servetto, Elena Zucca
2009	A	`conf`	Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP Giovanni Lagorio, Marco Servetto, Elena Zucca
2009	—	`conf`	The essence of static and dynamic bindings. ICTCS Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
2008	—	`conf`	Type Inference by Coinductive Logic Programming. TYPES Davide Ancona, Giovanni Lagorio, Elena Zucca
2007	—	`conf`	A Parametric Calculus for Mobile Open Code. DCM@ICALP Davide Ancona, Sonia Fagorzi, Elena Zucca
2007	J	`jnl`	A calculus of open modules: call-by-need strategy and confluence. Math. Struct. Comput. Sci. Sonia Fagorzi, Elena Zucca
2007	—	`conf`	A formal framework for compositional compilation. ICTCS Davide Ancona, Elena Zucca
2007	J	`jnl`	A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2007	J	`jnl`	Just: Safe Unknown Types in Java-like Languages. J. Object Technol. Giovanni Lagorio, Elena Zucca
2007	—	`conf`	Type inference for polymorphic methods in Java-like languages. ICTCS Davide Ancona, Giovanni Lagorio, Elena Zucca
2006	—	`conf`	A Calculus of Components with Dynamic Type-Checking. FACS Sonia Fagorzi, Elena Zucca
2006	—	`conf`	A Framework for Type Safe Exchange of Mobile Code. TGC Sonia Fagorzi, Elena Zucca
2006	—	`conf`	Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC Davide Ancona, Giovanni Lagorio, Elena Zucca
2006	—	`conf`	Formal Techniques for Java-Like Programs. ECOOP Workshops Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca
2006	Misc	`conf`	Introducing safe unknown types in Java-like languages. SAC Giovanni Lagorio, Elena Zucca
2005	—	`conf`	A Calculus for Reconfiguration: (Extended abstract). DCM@ICALP Sonia Fagorzi, Elena Zucca
2005	—	`conf`	Mixin Modules for Dynamic Rebinding. TGC Davide Ancona, Sonia Fagorzi, Elena Zucca
2005	A*	`conf`	Polymorphic bytecode: compositional compilation for Java-like languages. POPL Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
2004	—	`conf`	A Calculus for Dynamic Reconfiguration with Low Priority Linking. WOOD Davide Ancona, Sonia Fagorzi, Elena Zucca
2004	—	`conf`	A Calculus with Lazy Module Operators. IFIP TCS Davide Ancona, Sonia Fagorzi, Elena Zucca
2004	J	`jnl`	A Case-Study in Encoding Configuration Languages: Multiple Class Loaders. J. Object Technol. Sonia Fagorzi, Elena Zucca
2004	Misc	`conf`	Modeling multiple class loaders by a calculus for dynamic linking. SAC Sonia Fagorzi, Elena Zucca, Davide Ancona
2004	A*	`conf`	Principal typings for Java-like languages. POPL Davide Ancona, Elena Zucca
2003	—	`conf`	A Calculus for Dynamic Linking. ICTCS Davide Ancona, Sonia Fagorzi, Elena Zucca
2003	J	`jnl`	Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. Davide Ancona, Giovanni Lagorio, Elena Zucca
2003	A*	`conf`	Mixin Modules and Computational Effects. ICALP Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca
2002	A	`conf`	A Formal Framework for Java Separate Compilation. ECOOP Davide Ancona, Giovanni Lagorio, Elena Zucca
2002	J	`jnl`	A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics. Math. Struct. Comput. Sci. Davide Ancona, Elena Zucca
2002	J	`jnl`	A calculus of module systems. J. Funct. Program. Davide Ancona, Elena Zucca
2002	C	`conf`	True separate compilation of Java classes. PPDP Davide Ancona, Giovanni Lagorio, Elena Zucca
2001	A	`conf`	A Core Calculus for Java Exceptions. OOPSLA Davide Ancona, Giovanni Lagorio, Elena Zucca
2001	—	`conf`	A type preserving translation of Fickle into Java. TOSCA Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001	—	`conf`	An Effective Translation of Fickle into Java. ICTCS Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001	A	`conf`	True Modules for Java-like Languages. ECOOP Davide Ancona, Elena Zucca
2000	A	`conf`	Jam - A Smooth Extension of Java with Mixins. ECOOP Davide Ancona, Giovanni Lagorio, Elena Zucca
1999	B	`conf`	A Formal Framework with Late Binding. FASE Davide Ancona, Maura Cerioli, Elena Zucca
1999	C	`conf`	A Primitive Calculus for Module Systems. PPDP Davide Ancona, Elena Zucca
1999	J	`jnl`	Deriving Proof Rules from Continuation Semantics. Formal Aspects Comput. Philippe Audebaud, Elena Zucca
1999	—	`conf`	Extending Casl by Late Binding. WADT Davide Ancona, Maura Cerioli, Elena Zucca
1999	J	`jnl`	From Static to Dynamic Abstract Data-Types: An Institution Transformation. Theor. Comput. Sci. Elena Zucca
1999	J	`jnl`	Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. Sci. Comput. Program. Egidio Astesiano, Gianna Reggio, Elena Zucca
1998	J	`jnl`	A Theory of Mixin Modules: Basic and Derived Operators. Math. Struct. Comput. Sci. Davide Ancona, Elena Zucca
1997	—	`conf`	An algebra of mixin modules. WADT Davide Ancona, Elena Zucca
1997	—	`conf`	Implementation of derived programs (almost) for free. WADT Maura Cerioli, Elena Zucca
1997	—	`conf`	Overriding Operators in a Mixin-Based Framework. PLILP Davide Ancona, Elena Zucca
1996	—	`conf`	A Formal Framework for Modules with State. AMAST Davide Ancona, Elena Zucca
1996	J	`jnl`	A Free Construction of Dynamic Terms. J. Comput. Syst. Sci. Egidio Astesiano, Elena Zucca
1996	—	`conf`	An Algebraic Approach to Mixins and Modularity. ALP Davide Ancona, Elena Zucca
1996	J	`jnl`	An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract). Formal Aspects Comput. Ruth Breu, Elena Zucca
1996	B	`conf`	From Static to Dynamic Abstract Data-Types. MFCS Elena Zucca
1995	J	`jnl`	D-oids: A Model for Dynamic Data-Types. Math. Struct. Comput. Sci. Egidio Astesiano, Elena Zucca
1994	—	`conf`	Implementation of Data Structures in an Imperative Framework. COMPASS/ADT Elena Zucca
1993	B	`conf`	Stores as Homomorphisms and their Transformations. MFCS Egidio Astesiano, Gianna Reggio, Elena Zucca
1992	—	`conf`	A Semantic Model for Dynamic Systems. FMLDO Egidio Astesiano, Elena Zucca
1989	—	`conf`	An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. FSTTCS Ruth Breu, Elena Zucca
1987	—	`conf`	An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca
1984	J	`jnl`	Parametric Channels via Label Expressions in CCS. Theor. Comput. Sci. Egidio Astesiano, Elena Zucca
1981	B	`conf`	Semantics of CSP via Translation into CCS. MFCS Egidio Astesiano, Elena Zucca
1981	—	`conf`	Semantics of Distributed Processes Derived by Translation. GI Jahrestagung Egidio Astesiano, Elena Zucca