Elena Zucca
University of Genoa, Italy
http://www.disi.unige.it/person/ZuccaE/
https://orcid.org/0000-0002-6833-6470
Riccardo Bianchini
Francesco Dagnino
Paola Giannini
Elena Zucca
Resource-Aware Soundness for Big-Step Semantics.
1281-1309
2023
October
7
Proc. ACM Program. Lang.
OOPSLA2
https://doi.org/10.1145/3622843
db/journals/pacmpl/pacmpl7.html#BianchiniDGZ23
Riccardo Bianchini
Francesco Dagnino
Paola Giannini
Elena Zucca
A Java-like calculus with heterogeneous coeffects.
114063
2023
September
971
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2023.114063
db/journals/tcs/tcs971.html#BianchiniDGZ23
Davide Ancona
Pietro Barbieri
Elena Zucca
Checked corecursive streams: Expressivity and completeness.
114081
2023
September
974
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2023.114081
db/journals/tcs/tcs974.html#AnconaBZ23
Riccardo Bianchini
Francesco Dagnino
Paola Giannini
Elena Zucca
Multi-Graded Featherweight Java.
3:1-3:27
2023
ECOOP
https://doi.org/10.4230/LIPIcs.ECOOP.2023.3
conf/ecoop/2023
db/conf/ecoop/ecoop2023.html#BianchiniDGZ23
Riccardo Bianchini
Francesco Dagnino
Paola Giannini
Elena Zucca
Multi-graded Featherweight Java.
2023
abs/2302.07782
CoRR
https://doi.org/10.48550/arXiv.2302.07782
db/journals/corr/corr2302.html#abs-2302-07782
Riccardo Bianchini
Francesco Dagnino
Paola Giannini
Elena Zucca
Marco Servetto
Coeffects for sharing and mutation.
870-898
2022
6
Proc. ACM Program. Lang.
OOPSLA2
https://doi.org/10.1145/3563319
db/journals/pacmpl/pacmpl6.html#BianchiniDGZS22
Davide Ancona
Pietro Barbieri
Elena Zucca
Enhancing Expressivity of Checked Corecursive Streams.
1-18
2022
FLOPS
https://doi.org/10.1007/978-3-030-99461-7_1
conf/flops/2022
db/conf/flops/flops2022.html#AnconaBZ22
Riccardo Bianchini
Francesco Dagnino
Paola Giannini
Elena Zucca
A Java-Like Calculus with User-Defined Coeffects.
66-78
2022
ICTCS
https://ceur-ws.org/Vol-3284/8563.pdf
conf/ictcs/2022
db/conf/ictcs/ictcs2022.html#BianchiniDGZ22
Davide Ancona
Pietro Barbieri
Elena Zucca
Equality of Corecursive Streams Defined by Finitary Equational Systems.
86-98
2022
ICTCS
https://ceur-ws.org/Vol-3284/4069.pdf
conf/ictcs/2022
db/conf/ictcs/ictcs2022.html#AnconaBZ22
Davide Ancona
Pietro Barbieri
Elena Zucca
Enhancing expressivity of checked corecursive streams (extended version).
2022
abs/2202.06868
CoRR
https://arxiv.org/abs/2202.06868
db/journals/corr/corr2202.html#abs-2202-06868
Riccardo Bianchini
Francesco Dagnino
Paola Giannini
Elena Zucca
Marco Servetto
Coeffects for Sharing and Mutation.
2022
abs/2209.07439
CoRR
https://doi.org/10.48550/arXiv.2209.07439
db/journals/corr/corr2209.html#abs-2209-07439
Marco Servetto
Elena Zucca
λ-Based Object-Oriented Programming (Pearl).
21:1-21:16
2021
ECOOP
https://doi.org/10.4230/LIPIcs.ECOOP.2021.21
conf/ecoop/2021
db/conf/ecoop/ecoop2021.html#ServettoZ21
Davide Ancona
Pietro Barbieri
Elena Zucca
Enhanced Regular Corecursion for Data Streams.
266-280
2021
ICTCS
https://ceur-ws.org/Vol-3072/paper22.pdf
conf/ictcs/2021
db/conf/ictcs/ictcs2021.html#AnconaBZ21
Luca Ciccone
Francesco Dagnino
Elena Zucca
Flexible Coinduction in Agda.
13:1-13:19
2021
ITP
https://doi.org/10.4230/LIPIcs.ITP.2021.13
conf/itp/2021
db/conf/itp/itp2021.html#CicconeDZ21
Davide Ancona
Pietro Barbieri
Elena Zucca
Enhanced Regular Corecursion for Data Streams.
2021
abs/2108.00281
CoRR
https://arxiv.org/abs/2108.00281
db/journals/corr/corr2108.html#abs-2108-00281
Davide Ancona
Francesco Dagnino
Jurriaan Rot
Elena Zucca
A big step from finite to infinite computations.
102492
2020
197
Sci. Comput. Program.
https://doi.org/10.1016/j.scico.2020.102492
db/journals/scp/scp197.html#AnconaDRZ20
Francesco Dagnino
Davide Ancona
Elena Zucca
Flexible coinductive logic programming.
818-833
2020
20
Theory Pract. Log. Program.
6
https://doi.org/10.1017/S147106842000023X
db/journals/tplp/tplp20.html#DagninoAZ20
Davide Ancona
Pietro Barbieri
Francesco Dagnino
Elena Zucca
Sound Regular Corecursion in coFJ.
1:1-1:28
2020
ECOOP
https://doi.org/10.4230/LIPIcs.ECOOP.2020.1
conf/ecoop/2020
db/conf/ecoop/ecoop2020.html#AnconaBDZ19
Pietro Barbieri
Francesco Dagnino
Elena Zucca
An inductive abstract semantics for coFJ.
4-9
2020
FTfJP@ECOOP
https://doi.org/10.1145/3427761.3428342
conf/ecoop/2020ftfjp
db/conf/ecoop/ftfjp2020.html#BarbieriDZ20
Davide Ancona
Francesco Dagnino
Jurriaan Rot
Elena Zucca
A Big Step from Finite to Infinite Computations (SCICO Journal-first).
32:1-32:2
2020
ECOOP
https://doi.org/10.4230/LIPIcs.ECOOP.2020.32
conf/ecoop/2020
db/conf/ecoop/ecoop2020.html#AnconaDRZ19
Francesco Dagnino
Viviana Bono
Elena Zucca
Mariangiola Dezani-Ciancaglini
Soundness Conditions for Big-Step Semantics.
169-196
2020
ESOP
https://doi.org/10.1007/978-3-030-44914-8_7
conf/esop/2020
db/conf/esop/esop2020.html#DagninoBZD20
Francesco Dagnino
Viviana Bono
Elena Zucca
Mariangiola Dezani-Ciancaglini
Soundness conditions for big-step semantics.
2020
abs/2002.08738
CoRR
https://arxiv.org/abs/2002.08738
db/journals/corr/corr2002.html#abs-2002-08738
Davide Ancona
Pietro Barbieri
Francesco Dagnino
Elena Zucca
Sound Regular Corecursion in coFJ.
2020
abs/2005.14085
CoRR
https://arxiv.org/abs/2005.14085
db/journals/corr/corr2005.html#abs-2005-14085
Francesco Dagnino
Davide Ancona
Elena Zucca
Flexible coinductive logic programming.
2020
abs/2008.02140
CoRR
https://arxiv.org/abs/2008.02140
db/journals/corr/corr2008.html#abs-2008-02140
Paola Giannini
Tim Richter
Marco Servetto
Elena Zucca
Tracing sharing in an imperative pure calculus.
180-202
2019
172
Sci. Comput. Program.
https://doi.org/10.1016/j.scico.2018.11.007
db/journals/scp/scp172.html#GianniniRSZ19
Paola Giannini
Marco Servetto
Elena Zucca
James Cone
Flexible recovery of uniqueness and immutability.
145-172
2019
764
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2018.09.001
db/journals/tcs/tcs764.html#GianniniSZC19
Silvia Crafa
Matteo Di Pirro
Elena Zucca
Is Solidity Solid Enough?
138-153
2019
Financial Cryptography Workshops
https://doi.org/10.1007/978-3-030-43725-1_11
conf/fc/2019w
db/conf/fc/fc2019w.html#CrafaPZ19
Pietro Barbieri
Francesco Dagnino
Elena Zucca
Davide Ancona
Corecursive Featherweight Java Revisited.
158-170
2019
ICTCS
https://ceur-ws.org/Vol-2504/paper19.pdf
conf/ictcs/2019
db/conf/ictcs/ictcs2019.html#BarbieriDZA19
Paola Giannini
Marco Servetto
Elena Zucca
Tracing and Preventing Sharing and Mutation.
190-203
2019
ICTCS
https://ceur-ws.org/Vol-2504/paper22.pdf
conf/ictcs/2019
db/conf/ictcs/ictcs2019.html#GianniniSZ19
Davide Ancona
Francesco Dagnino
Elena Zucca
Modeling Infinite Behaviour by Corules.
21:1-21:31
2018
ECOOP
https://doi.org/10.4230/LIPIcs.ECOOP.2018.21
conf/ecoop/2018
db/conf/ecoop/ecoop2018.html#AnconaDZ18
Paola Giannini
Marco Servetto
Elena Zucca
A type and effect system for uniqueness and immutability.
1038-1045
2018
SAC
https://doi.org/10.1145/3167132.3167245
conf/sac/2018
db/conf/sac/sac2018.html#GianniniSZ18
Tommaso Petrucciani
Giuseppe Castagna
Davide Ancona
Elena Zucca
Semantic Subtyping for Non-Strict Languages.
4:1-4:24
2018
TYPES
https://doi.org/10.4230/LIPIcs.TYPES.2018.4
conf/types/2018
db/conf/types/types2018.html#PetruccianiCAZ18
Paola Giannini
Marco Servetto
Elena Zucca
A Syntactic Model of Mutation and Aliasing.
DCM/ITRS
2018
39-55
journals/corr/abs-1904-09561
https://doi.org/10.4204/EPTCS.293.4
http://arxiv.org/abs/1904.10107
db/series/eptcs/eptcs293.html#abs-1904-10107
Paola Giannini
Tim Richter
Marco Servetto
Elena Zucca
Tracing sharing in an imperative pure calculus.
2018
abs/1803.05838
CoRR
http://arxiv.org/abs/1803.05838
db/journals/corr/corr1803.html#abs-1803-05838
Paola Giannini
Marco Servetto
Elena Zucca
James Cone
Flexible recovery of uniqueness and immutability (Extended Version).
2018
abs/1807.00137
CoRR
http://arxiv.org/abs/1807.00137
db/journals/corr/corr1807.html#abs-1807-00137
Tommaso Petrucciani
Giuseppe Castagna
Davide Ancona
Elena Zucca
Semantic subtyping for non-strict languages.
2018
abs/1810.05555
CoRR
http://arxiv.org/abs/1810.05555
db/journals/corr/corr1810.html#abs-1810-05555
Davide Ancona
Paola Giannini
Elena Zucca
Type safe incremental rebinding.
94-122
2017
27
Math. Struct. Comput. Sci.
2
https://doi.org/10.1017/S0960129515000109
db/journals/mscs/mscs27.html#AnconaGZ17
Davide Ancona
Francesco Dagnino
Elena Zucca
Reasoning on divergent computations with coaxioms.
81:1-81:26
2017
1
Proc. ACM Program. Lang.
OOPSLA
https://doi.org/10.1145/3133905
db/journals/pacmpl/pacmpl1.html#AnconaDZ17
Paola Giannini
Marco Servetto
Elena Zucca
Tracing sharing in an imperative pure calculus: extended abstract.
6:1-6:6
2017
FTfJP@ECOOP
https://doi.org/10.1145/3103111.3104038
conf/ecoop/2017ftfjp
db/conf/ecoop/ftfjp2017.html#GianniniSZ17
Davide Ancona
Francesco Dagnino
Elena Zucca
Generalizing Inference Systems by Coaxioms.
29-55
2017
ESOP
https://doi.org/10.1007/978-3-662-54434-1_2
conf/esop/2017
db/conf/esop/esop2017.html#AnconaDZ17
Paola Giannini
Marco Servetto
Elena Zucca
A type and effect system for sharing.
1513-1515
2017
SAC
https://doi.org/10.1145/3019612.3019890
conf/sac/2017
db/conf/sac/sac2017.html#GianniniSZ17
Paola Giannini
Marco Servetto
Elena Zucca
Coupling catch clauses with local declarations.
6
2016
FTfJP@ECOOP
http://dl.acm.org/citation.cfm?id=2955817
conf/ecoop/2016ftfjp
db/conf/ecoop/ftfjp2016.html#GianniniSZ16
Davide Ancona
Francesco Dagnino
Elena Zucca
Towards a model of corecursion with default.
9
2016
FTfJP@ECOOP
http://dl.acm.org/citation.cfm?id=2955820
conf/ecoop/2016ftfjp
db/conf/ecoop/ftfjp2016.html#AnconaDZ16
Paola Giannini
Marco Servetto
Elena Zucca
Types for Immutability and Aliasing Control.
62-74
2016
ICTCS
https://ceur-ws.org/Vol-1720/full5.pdf
conf/ictcs/2016
db/conf/ictcs/ictcs2016.html#CalamoneriS16
Paola Giannini
Marco Servetto
Elena Zucca
Runtime Checks as Nominal Types.
75-87
2016
ICTCS
https://ceur-ws.org/Vol-1720/full6.pdf
conf/ictcs/2016
db/conf/ictcs/ictcs2016.html#GianniniSZ16
Paola Giannini
Marco Servetto
Elena Zucca
Initialize-and-catch.
1819-1822
2016
SAC
https://doi.org/10.1145/2851613.2851943
conf/sac/2016
db/conf/sac/sac2016.html#GianniniSZ16
Davide Ancona
Francesco Dagnino
Elena Zucca
Extending Coinductive Logic Programming with Co-Facts.
CoALP-Ty
2016
1-18
journals/corr/abs-1709-04199
https://doi.org/10.4204/EPTCS.258.1
http://arxiv.org/abs/1709.04901
db/series/eptcs/eptcs258.html#abs-1709-04901
Marco Servetto
Elena Zucca
Aliasing Control in an Imperative Pure Calculus.
208-228
2015
APLAS
https://doi.org/10.1007/978-3-319-26529-2_12
conf/aplas/2015
db/conf/aplas/aplas2015.html#ServettoZ15
Davide Ancona
Paola Giannini
Elena Zucca
Constrained Polymorphic Types for a Calculus with Name Variables.
4:1-4:29
2015
TYPES
https://doi.org/10.4230/LIPIcs.TYPES.2015.4
conf/types/2015
db/conf/types/types2015.html#AnconaGZ15
Davide Ancona
Paola Giannini
Elena Zucca
Incremental Rebinding with Name Polymorphism.
19-34
2015
conf/ictcs/2015
ICTCS
https://doi.org/10.1016/j.entcs.2016.03.003
https://www.wikidata.org/entity/Q113317702
db/journals/entcs/entcs322.html#AnconaGZ16
Andrea Capriccioli
Marco Servetto
Elena Zucca
An Imperative Pure Calculus.
87-102
2015
conf/ictcs/2015
ICTCS
https://doi.org/10.1016/j.entcs.2016.03.007
https://www.wikidata.org/entity/Q113317697
db/journals/entcs/entcs322.html#CapriccioliSZ16
Marco Servetto
Elena Zucca
A meta-circular language for active libraries.
219-253
2014
95
Sci. Comput. Program.
https://doi.org/10.1016/j.scico.2014.05.003
db/journals/scp/scp95.html#ServettoZ14
Davide Ancona
Elena Zucca
Safe corecursion in coFJ.
2:1-2:7
2013
FTfJP@ECOOP
https://doi.org/10.1145/2489804.2489807
conf/ecoop/2013ftfjp
db/conf/ecoop/ftfjp2013.html#AnconaZ13
Marco Servetto
Elena Zucca
A meta-circular language for active libraries.
117-126
2013
PEPM
https://doi.org/10.1145/2426890.2426913
conf/pepm/2013
db/conf/pepm/pepm2013.html#ServettoZ13
Giovanni Lagorio
Marco Servetto
Elena Zucca
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages.
86-111
2012
214
Inf. Comput.
https://doi.org/10.1016/j.ic.2012.02.004
db/journals/iandc/iandc214.html#LagorioSZ12
Andrea Corradi
Marco Servetto
Elena Zucca
DeepFJig - Modular composition of nested classes.
1: 1-42
2012
11
J. Object Technol.
2
https://doi.org/10.5381/jot.2012.11.2.a1
db/journals/jot/jot11.html#CorradiSZ12
Davide Ancona
Elena Zucca
Corecursive Featherweight Java.
3-10
2012
FTfJP@ECOOP
https://doi.org/10.1145/2318202.2318205
conf/ecoop/2012ftfjp
db/conf/ecoop/ftfjp2012.html#AnconaZ12
Davide Ancona
Paola Giannini
Elena Zucca
Reconciling positional and nominal binding.
ITRS
2012
81-93
https://doi.org/10.4204/EPTCS.121.6
http://arxiv.org/abs/1307.8207
journals/corr/Graham-LengrandP13
db/series/eptcs/eptcs121.html#AnconaGZ13
Mariangiola Dezani-Ciancaglini
Paola Giannini
Elena Zucca
Extending the lambda-calculus with unbind and rebind.
143-162
2011
45
RAIRO Theor. Informatics Appl.
1
https://doi.org/10.1051/ita/2011008
db/journals/ita/ita45.html#Dezani-CiancagliniGZ11
Jonathan Aldrich
Jeremy G. Siek
Elena Zucca
2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary.
319-320
2011
OOPSLA Companion
https://doi.org/10.1145/2048147.2048228
conf/oopsla/2011c
db/conf/oopsla/oopsla2011c.html#AldrichSZ11
Andrea Corradi
Marco Servetto
Elena Zucca
DeepFJig: modular composition of nested classes.
101-110
2011
PPPJ
https://doi.org/10.1145/2093157.2093172
conf/pppj/2011
db/conf/pppj/pppj2011.html#CorradiSZ11
Marco Servetto
Elena Zucca
MetaFJig: a meta-circular composition language for Java-like classes.
464-483
2010
OOPSLA
https://doi.org/10.1145/1869459.1869498
https://doi.org/10.1145/1932682.1869498
conf/oopsla/2010
db/conf/oopsla/oopsla2010.html#ServettoZ10
Mariangiola Dezani-Ciancaglini
Paola Giannini
Elena Zucca
Intersection types for unbind and rebind
ITRS
2010
45-58
https://doi.org/10.4204/EPTCS.45.4
http://arxiv.org/abs/1101.4426
journals/corr/abs-1101-4104
db/series/eptcs/eptcs45.html#abs-1101-4426
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
6117
2010
https://doi.org/10.1007/978-3-642-13464-7
https://www.wikidata.org/entity/Q56501637
978-3-642-13463-0
FMOODS/FORTE
Lecture Notes in Computer Science
Springer
db/conf/forte/forte2010.html
Giovanni Lagorio
Marco Servetto
Elena Zucca
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.
244-268
2009
ECOOP
https://doi.org/10.1007/978-3-642-03013-0_12
conf/ecoop/2009
db/conf/ecoop/ecoop2009.html#LagorioSZ09
Mariangiola Dezani-Ciancaglini
Paola Giannini
Elena Zucca
The essence of static and dynamic bindings.
99-106
2009
ICTCS
conf/ictcs/2009
db/conf/ictcs/ictcs2009.html#Dezani-CiancagliniGZ09
Giovanni Lagorio
Marco Servetto
Elena Zucca
Customizable composition operators for Java-like classes.
136-142
2009
ICTCS
conf/ictcs/2009
db/conf/ictcs/ictcs2009.html#LagorioSZ09
Giovanni Lagorio
Marco Servetto
Elena Zucca
A Lightweight Approach to Customizable Composition Operators for Java-like Classes.
161-177
2009
conf/facs2/2009
FACS@FMWeek
https://doi.org/10.1016/j.entcs.2010.05.010
db/journals/entcs/entcs263.html#LagorioSZ10
Davide Ancona
Giovanni Lagorio
Elena Zucca
Type Inference by Coinductive Logic Programming.
1-18
2008
TYPES
https://doi.org/10.1007/978-3-642-02444-3_1
conf/types/2008
db/conf/types/types2008.html#AnconaLZ08
Giovanni Lagorio
Elena Zucca
Just: Safe Unknown Types in Java-like Languages.
2007
6
J. Object Technol.
2
https://doi.org/10.5381/jot.2007.6.2.a4
db/journals/jot/jot6.html#LagorioZ07
69-98
Sonia Fagorzi
Elena Zucca
A calculus of open modules: call-by-need strategy and confluence.
675-751
2007
17
Math. Struct. Comput. Sci.
4
https://doi.org/10.1017/S0960129507006238
db/journals/mscs/mscs17.html#FagorziZ07
Davide Ancona
Christopher Anderson
Ferruccio Damiani
Sophia Drossopoulou
Paola Giannini
Elena Zucca
A provenly correct translation of Fickle into Java.
2007
29
ACM Trans. Program. Lang. Syst.
2
https://doi.org/10.1145/1216374.1216381
db/journals/toplas/toplas29.html#AnconaADDGZ07
13
Davide Ancona
Elena Zucca
A formal framework for compositional compilation.
106-117
2007
ICTCS
conf/ictcs/2007
db/conf/ictcs/ictcs2007.html#AnconaZ07
Davide Ancona
Giovanni Lagorio
Elena Zucca
Type inference for polymorphic methods in Java-like languages.
118-129
2007
ICTCS
conf/ictcs/2007
db/conf/ictcs/ictcs2007.html#AnconaLZ07
Davide Ancona
Sonia Fagorzi
Elena Zucca
A Parametric Calculus for Mobile Open Code.
3-22
2007
conf/dcm/2007
DCM@ICALP
https://doi.org/10.1016/j.entcs.2008.10.024
db/conf/dcm/dcm2007.html#AnconaFZ08
Davide Ancona
Sophia Drossopoulou
Atsushi Igarashi
Gary T. Leavens
Arnd Poetzsch-Heffter
Elena Zucca
Formal Techniques for Java-Like Programs.
53-58
2006
conf/ecoopw/2006
ECOOP Workshops
https://doi.org/10.1007/978-3-540-71774-4_6
db/conf/ecoopw/ecoopw2006.html#AnconaDILPZ06
Davide Ancona
Giovanni Lagorio
Elena Zucca
Flexible Type-Safe Linking of Components for Java-Like Languages.
136-154
2006
conf/jmlc/2006
JMLC
https://doi.org/10.1007/11860990_10
db/conf/jmlc/jmlc2006.html#AnconaLZ06
Giovanni Lagorio
Elena Zucca
Introducing safe unknown types in Java-like languages.
1429-1434
2006
conf/sac/2006
SAC
https://doi.org/10.1145/1141277.1141609
db/conf/sac/sac2006.html#LagorioZ06
Sonia Fagorzi
Elena Zucca
A Framework for Type Safe Exchange of Mobile Code.
319-338
2006
conf/tgc/2006
TGC
https://doi.org/10.1007/978-3-540-75336-0_20
db/conf/tgc/tgc2006.html#FagorziZ06
Sonia Fagorzi
Elena Zucca
A Calculus of Components with Dynamic Type-Checking.
73-90
2006
conf/facs2/2006
FACS
https://doi.org/10.1016/j.entcs.2006.09.032
db/journals/entcs/entcs182.html#FagorziZ07
Davide Ancona
Ferruccio Damiani
Sophia Drossopoulou
Elena Zucca
Polymorphic bytecode: compositional compilation for Java-like languages.
26-37
2005
conf/popl/2005
POPL
https://doi.org/10.1145/1040305.1040308
https://doi.org/10.1145/1047659.1040308
db/conf/popl/popl2005.html#AnconaDDZ05
Davide Ancona
Sonia Fagorzi
Elena Zucca
Mixin Modules for Dynamic Rebinding.
279-298
2005
conf/tgc/2005
TGC
https://doi.org/10.1007/11580850_15
db/conf/tgc/tgc2005.html#AnconaFZ05
Sonia Fagorzi
Elena Zucca
A Calculus for Reconfiguration: (Extended abstract).
49-59
2005
conf/dcm/2005
DCM@ICALP
https://doi.org/10.1016/j.entcs.2005.09.020
db/conf/dcm/dcm2005.html#FagorziZ06
Sonia Fagorzi
Elena Zucca
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders.
31-54
2004
3
J. Object Technol.
11
https://doi.org/10.5381/jot.2004.3.11.a2
db/journals/jot/jot3.html#FagorziZ04
Davide Ancona
Sonia Fagorzi
Elena Zucca
A Calculus with Lazy Module Operators.
423-436
2004
conf/ifipTCS/2004
IFIP TCS
db/conf/ifipTCS/ifipTCS2004.html#AnconaFZ04
https://doi.org/10.1007/1-4020-8141-3_33
Davide Ancona
Elena Zucca
Principal typings for Java-like languages.
306-317
2004
conf/popl/2004
POPL
https://doi.org/10.1145/964001.964027
https://doi.org/10.1145/982962.964027
db/conf/popl/popl2004.html#AnconaZ04
Sonia Fagorzi
Elena Zucca
Davide Ancona
Modeling multiple class loaders by a calculus for dynamic linking.
1281-1288
2004
conf/sac/2004
SAC
https://doi.org/10.1145/967900.968161
db/conf/sac/sac2004.html#FagorziZA04
Davide Ancona
Sonia Fagorzi
Elena Zucca
A Calculus for Dynamic Reconfiguration with Low Priority Linking.
3-35
2004
conf/wood/2004
WOOD
https://doi.org/10.1016/j.entcs.2005.09.009
db/conf/wood/wood2004.html#AnconaFZ05
Davide Ancona
Giovanni Lagorio
Elena Zucca
Jam - designing a Java extension with mixins.
641-712
2003
25
ACM Trans. Program. Lang. Syst.
5
https://doi.org/10.1145/937563.937567
db/journals/toplas/toplas25.html#AnconaLZ03
Davide Ancona
Sonia Fagorzi
Eugenio Moggi
Elena Zucca
Mixin Modules and Computational Effects.
224-238
2003
conf/icalp/2003
ICALP
https://doi.org/10.1007/3-540-45061-0_20
db/conf/icalp/icalp2003.html#AnconaFMZ03
Davide Ancona
Sonia Fagorzi
Elena Zucca
A Calculus for Dynamic Linking.
284-301
https://doi.org/10.1007/978-3-540-45208-9_23
2003
conf/ictcs/2003
ICTCS
db/conf/ictcs/ictcs2003.html#AnconaFZ03
Davide Ancona
Elena Zucca
A calculus of module systems.
91-132
2002
12
J. Funct. Program.
2
db/journals/jfp/jfp12.html#AnconaZ02
https://doi.org/10.1017/S0956796801004257
Davide Ancona
Elena Zucca
A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics.
701-737
2002
12
Math. Struct. Comput. Sci.
6
db/journals/mscs/mscs12.html#AnconaZ02
https://doi.org/10.1017/S0960129502003687
Davide Ancona
Giovanni Lagorio
Elena Zucca
A Formal Framework for Java Separate Compilation.
609-636
2002
conf/ecoop/2002
ECOOP
https://doi.org/10.1007/3-540-47993-7_26
db/conf/ecoop/ecoop2002.html#AnconaLZ02
Davide Ancona
Giovanni Lagorio
Elena Zucca
True separate compilation of Java classes.
189-200
2002
conf/ppdp/2002
PPDP
https://doi.org/10.1145/571157.571177
db/conf/ppdp/ppdp2002.html#AnconaLZ02
Davide Ancona
Elena Zucca
True Modules for Java-like Languages.
354-380
2001
conf/ecoop/2001
ECOOP
https://doi.org/10.1007/3-540-45337-7_19
db/conf/ecoop/ecoop2001.html#AnconaZ01
Davide Ancona
Christopher Anderson
Ferruccio Damiani
Sophia Drossopoulou
Paola Giannini
Elena Zucca
An Effective Translation of Fickle into Java.
215-234
2001
conf/ictcs/2001
ICTCS
https://doi.org/10.1007/3-540-45446-2_14
db/conf/ictcs/ictcs2001.html#AnconaADDGZ01
Davide Ancona
Giovanni Lagorio
Elena Zucca
A Core Calculus for Java Exceptions.
16-30
2001
conf/oopsla/2001
OOPSLA
db/conf/oopsla/oopsla2001.html#AnconaLZ01
https://doi.org/10.1145/504282.504284
https://doi.org/10.1145/504311.504284
Davide Ancona
Christopher Anderson
Ferruccio Damiani
Sophia Drossopoulou
Paola Giannini
Elena Zucca
A type preserving translation of Fickle into Java.
2001
conf/tosca2/2001
TOSCA
69-82
https://doi.org/10.1016/S1571-0661(04)00320-2
db/journals/entcs/entcs62.html#AnconaADDGZ01
Davide Ancona
Giovanni Lagorio
Elena Zucca
Jam - A Smooth Extension of Java with Mixins.
154-178
2000
conf/ecoop/2000
ECOOP
https://doi.org/10.1007/3-540-45102-1_8
db/conf/ecoop/ecoop2000.html#AnconaLZ00
Philippe Audebaud
Elena Zucca
Deriving Proof Rules from Continuation Semantics.
426-447
1999
11
Formal Aspects Comput.
4
https://doi.org/10.1007/s001650050041
db/journals/fac/fac11.html#AudebaudZ99
Egidio Astesiano
Gianna Reggio
Elena Zucca
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.
163-190
1999
34
Sci. Comput. Program.
3
db/journals/scp/scp34.html#AstesianoRZ99
https://doi.org/10.1016/S0167-6423(98)00022-7
Elena Zucca
From Static to Dynamic Abstract Data-Types: An Institution Transformation.
109-157
1999
216
Theor. Comput. Sci.
1-2
db/journals/tcs/tcs216.html#Zucca99
https://doi.org/10.1016/S0304-3975(98)00125-X
https://www.wikidata.org/entity/Q122141147
Davide Ancona
Maura Cerioli
Elena Zucca
A Formal Framework with Late Binding.
30-44
1999
conf/fase/1999
FASE
db/conf/fase/fase99.html#AnconaCZ99
https://doi.org/10.1007/978-3-540-49020-3_3
Davide Ancona
Elena Zucca
A Primitive Calculus for Module Systems.
62-79
1999
conf/ppdp/1999
PPDP
db/conf/ppdp/ppdp1999.html#AnconaZ99
https://doi.org/10.1007/10704567_4
Davide Ancona
Maura Cerioli
Elena Zucca
Extending Casl by Late Binding.
53-72
1999
conf/wadt/1999
WADT
db/conf/wadt/wadt1999.html#AnconaCZ99
https://doi.org/10.1007/978-3-540-44616-3_4
Davide Ancona
Elena Zucca
A Theory of Mixin Modules: Basic and Derived Operators.
401-446
1998
8
Math. Struct. Comput. Sci.
4
db/journals/mscs/mscs8.html#AnconaZ98
http://journals.cambridge.org/action/displayAbstract?aid=44767
Davide Ancona
Elena Zucca
Overriding Operators in a Mixin-Based Framework.
47-61
1997
conf/plilp/1997
PLILP
db/conf/plilp/plilp97.html#AnconaZ97
https://doi.org/10.1007/BFb0033836
Davide Ancona
Elena Zucca
An algebra of mixin modules.
92-106
1997
conf/wadt/1997
WADT
db/conf/wadt/wadt97.html#AnconaZ97
https://doi.org/10.1007/3-540-64299-4_28
Maura Cerioli
Elena Zucca
Implementation of derived programs (almost) for free.
141-155
1997
conf/wadt/1997
WADT
db/conf/wadt/wadt97.html#CerioliZ97
https://doi.org/10.1007/3-540-64299-4_31
Ruth Breu
Elena Zucca
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract).
706-715
1996
8
Formal Aspects Comput.
6
db/journals/fac/fac8.html#BreuZ96
https://doi.org/10.1007/BF01213495
Egidio Astesiano
Elena Zucca
A Free Construction of Dynamic Terms.
143-156
1996
52
J. Comput. Syst. Sci.
1
db/journals/jcss/jcss52.html#AstesianoZ96
https://doi.org/10.1006/jcss.1996.0011
Davide Ancona
Elena Zucca
An Algebraic Approach to Mixins and Modularity.
179-193
1996
conf/alp/1996
ALP
db/conf/alp/alp96.html#AnconaZ96
https://doi.org/10.1007/3-540-61735-3_12
Davide Ancona
Elena Zucca
A Formal Framework for Modules with State.
148-162
1996
conf/amast/1996
AMAST
db/conf/amast/amast96.html#AnconaZ96
https://doi.org/10.1007/BFb0014313
Elena Zucca
From Static to Dynamic Abstract Data-Types.
579-590
1996
conf/mfcs/1996
MFCS
db/conf/mfcs/mfcs96.html#Zucca96
https://doi.org/10.1007/3-540-61550-4_180
Egidio Astesiano
Elena Zucca
D-oids: A Model for Dynamic Data-Types.
257-282
1995
5
Math. Struct. Comput. Sci.
2
db/journals/mscs/mscs5.html#AstesianoZ95
https://doi.org/10.1017/S0960129500000736
Elena Zucca
Implementation of Data Structures in an Imperative Framework.
483-498
1994
conf/compass/1994
COMPASS/ADT
db/conf/compass/compass94.html#Zucca94
https://doi.org/10.1007/BFb0014446
Egidio Astesiano
Gianna Reggio
Elena Zucca
Stores as Homomorphisms and their Transformations.
242-251
1993
conf/mfcs/1993
MFCS
db/conf/mfcs/mfcs93.html#AstesianoRZ93
https://doi.org/10.1007/3-540-57182-5_16
Egidio Astesiano
Elena Zucca
A Semantic Model for Dynamic Systems.
63-83
1992
conf/fmldo/1992
FMLDO
db/conf/fmldo/fmldo92.html#AstesianoZ92
https://doi.org/10.1007/978-1-4471-3554-8_5
Ruth Breu
Elena Zucca
An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency.
131-142
1989
conf/fsttcs/1989
FSTTCS
db/conf/fsttcs/fsttcs89.html#BreuZ89
https://doi.org/10.1007/3-540-52048-1_39
Egidio Astesiano
Alessandro Giovini
Gianna Reggio
Elena Zucca
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects.
91-116
1987
conf/am/1987
Algebraic Methods
db/conf/am/am1987.html#AstesianoGRZ87
https://doi.org/10.1007/BFb0015037
Egidio Astesiano
Elena Zucca
Parametric Channels via Label Expressions in CCS.
45-63
1984
33
Theor. Comput. Sci.
db/journals/tcs/tcs33.html#AstesianoZ84
https://doi.org/10.1016/0304-3975(84)90102-6
Egidio Astesiano
Elena Zucca
Semantics of Distributed Processes Derived by Translation.
78-87
1981
conf/gi/1981
GI Jahrestagung
db/conf/gi/gi81.html#AstesianoZ81
https://doi.org/10.1007/978-3-662-01089-1_10
Egidio Astesiano
Elena Zucca
Semantics of CSP via Translation into CCS.
172-182
1981
conf/mfcs/1981
MFCS
db/conf/mfcs/mfcs81.html#AstesianoZ81
https://doi.org/10.1007/3-540-10856-4_83
Jonathan Aldrich
Davide Ancona
Christopher Anderson
Egidio Astesiano
Philippe Audebaud
Pietro Barbieri
Riccardo Bianchini
Viviana Bono
Ruth Breu
Andrea Capriccioli
Giuseppe Castagna
Maura Cerioli
Luca Ciccone
James Cone
Andrea Corradi
Silvia Crafa
Francesco Dagnino
Ferruccio Damiani
Mariangiola Dezani-Ciancaglini
Sophia Drossopoulou
Sonia Fagorzi
Paola Giannini
Alessandro Giovini
John Hatcliff
Atsushi Igarashi
Giovanni Lagorio
Gary T. Leavens
Eugenio Moggi
Tommaso Petrucciani
Matteo Di Pirro
Arnd Poetzsch-Heffter
Gianna Reggio
Tim Richter
Jurriaan Rot
Marco Servetto
Jeremy G. Siek