Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Elena Zucca
@article{DBLP:journals/pacmpl/BianchiniDGZ23,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca},
title = {Resource-Aware Soundness for Big-Step Semantics},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1281--1309},
year = {2023},
url = {https://doi.org/10.1145/3622843},
doi = {10.1145/3622843},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BianchiniDGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BianchiniDGZ23,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca},
title = {A Java-like calculus with heterogeneous coeffects},
journal = {Theor. Comput. Sci.},
volume = {971},
pages = {114063},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114063},
doi = {10.1016/J.TCS.2023.114063},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BianchiniDGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AnconaBZ23,
author = {Davide Ancona and
Pietro Barbieri and
Elena Zucca},
title = {Checked corecursive streams: Expressivity and completeness},
journal = {Theor. Comput. Sci.},
volume = {974},
pages = {114081},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114081},
doi = {10.1016/J.TCS.2023.114081},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AnconaBZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BianchiniDGZ23,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Multi-Graded Featherweight Java},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {3:1--3:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.3},
doi = {10.4230/LIPICS.ECOOP.2023.3},
timestamp = {Tue, 11 Jul 2023 16:52:08 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BianchiniDGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-07782,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca},
title = {Multi-graded Featherweight Java},
journal = {CoRR},
volume = {abs/2302.07782},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.07782},
doi = {10.48550/ARXIV.2302.07782},
eprinttype = {arXiv},
eprint = {2302.07782},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-07782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BianchiniDGZS22,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca and
Marco Servetto},
title = {Coeffects for sharing and mutation},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {870--898},
year = {2022},
url = {https://doi.org/10.1145/3563319},
doi = {10.1145/3563319},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BianchiniDGZS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AnconaBZ22,
author = {Davide Ancona and
Pietro Barbieri and
Elena Zucca},
editor = {Michael Hanus and
Atsushi Igarashi},
title = {Enhancing Expressivity of Checked Corecursive Streams},
booktitle = {Functional and Logic Programming - 16th International Symposium, {FLOPS}
2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13215},
pages = {1--18},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99461-7\_1},
doi = {10.1007/978-3-030-99461-7\_1},
timestamp = {Thu, 05 May 2022 15:21:56 +0200},
biburl = {https://dblp.org/rec/conf/flops/AnconaBZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BianchiniDGZ22,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca},
editor = {Ugo Dal Lago and
Daniele Gorla},
title = {A Java-Like Calculus with User-Defined Coeffects},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer
Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3284},
pages = {66--78},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3284/8563.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BianchiniDGZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaBZ22,
author = {Davide Ancona and
Pietro Barbieri and
Elena Zucca},
editor = {Ugo Dal Lago and
Daniele Gorla},
title = {Equality of Corecursive Streams Defined by Finitary Equational Systems},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer
Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3284},
pages = {86--98},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3284/4069.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaBZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-06868,
author = {Davide Ancona and
Pietro Barbieri and
Elena Zucca},
title = {Enhancing expressivity of checked corecursive streams (extended version)},
journal = {CoRR},
volume = {abs/2202.06868},
year = {2022},
url = {https://arxiv.org/abs/2202.06868},
eprinttype = {arXiv},
eprint = {2202.06868},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-06868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07439,
author = {Riccardo Bianchini and
Francesco Dagnino and
Paola Giannini and
Elena Zucca and
Marco Servetto},
title = {Coeffects for Sharing and Mutation},
journal = {CoRR},
volume = {abs/2209.07439},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07439},
doi = {10.48550/ARXIV.2209.07439},
eprinttype = {arXiv},
eprint = {2209.07439},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ServettoZ21,
author = {Marco Servetto and
Elena Zucca},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {{\(\lambda\)}-Based Object-Oriented Programming (Pearl)},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {21:1--21:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.21},
doi = {10.4230/LIPICS.ECOOP.2021.21},
timestamp = {Tue, 06 Jul 2021 13:59:11 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ServettoZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaBZ21,
author = {Davide Ancona and
Pietro Barbieri and
Elena Zucca},
editor = {Claudio Sacerdoti Coen and
Ivano Salvo},
title = {Enhanced Regular Corecursion for Data Streams},
booktitle = {Proceedings of the 22nd Italian Conference on Theoretical Computer
Science, Bologna, Italy, September 13-15, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3072},
pages = {266--280},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3072/paper22.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaBZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/CicconeDZ21,
author = {Luca Ciccone and
Francesco Dagnino and
Elena Zucca},
editor = {Liron Cohen and
Cezary Kaliszyk},
title = {Flexible Coinduction in Agda},
booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
series = {LIPIcs},
volume = {193},
pages = {13:1--13:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.13},
doi = {10.4230/LIPICS.ITP.2021.13},
timestamp = {Mon, 21 Jun 2021 14:45:49 +0200},
biburl = {https://dblp.org/rec/conf/itp/CicconeDZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00281,
author = {Davide Ancona and
Pietro Barbieri and
Elena Zucca},
title = {Enhanced Regular Corecursion for Data Streams},
journal = {CoRR},
volume = {abs/2108.00281},
year = {2021},
url = {https://arxiv.org/abs/2108.00281},
eprinttype = {arXiv},
eprint = {2108.00281},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00281.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AnconaDRZ20,
author = {Davide Ancona and
Francesco Dagnino and
Jurriaan Rot and
Elena Zucca},
title = {A big step from finite to infinite computations},
journal = {Sci. Comput. Program.},
volume = {197},
pages = {102492},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2020.102492},
doi = {10.1016/J.SCICO.2020.102492},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AnconaDRZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DagninoAZ20,
author = {Francesco Dagnino and
Davide Ancona and
Elena Zucca},
title = {Flexible coinductive logic programming},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {6},
pages = {818--833},
year = {2020},
url = {https://doi.org/10.1017/S147106842000023X},
doi = {10.1017/S147106842000023X},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DagninoAZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaBDZ19,
author = {Davide Ancona and
Pietro Barbieri and
Francesco Dagnino and
Elena Zucca},
editor = {Robert Hirschfeld and
Tobias Pape},
title = {Sound Regular Corecursion in coFJ},
booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {166},
pages = {1:1--1:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.1},
doi = {10.4230/LIPICS.ECOOP.2020.1},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaBDZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BarbieriDZ20,
author = {Pietro Barbieri and
Francesco Dagnino and
Elena Zucca},
editor = {Wytse Oortwijn},
title = {An inductive abstract semantics for coFJ},
booktitle = {FTfJP 2020: Proceedings of the 22nd {ACM} {SIGPLAN} International
Workshop on Formal Techniques for Java-Like Programs, Virtual Event,
USA, July 23, 2020},
pages = {4--9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427761.3428342},
doi = {10.1145/3427761.3428342},
timestamp = {Thu, 04 Nov 2021 14:41:50 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BarbieriDZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaDRZ19,
author = {Davide Ancona and
Francesco Dagnino and
Jurriaan Rot and
Elena Zucca},
editor = {Robert Hirschfeld and
Tobias Pape},
title = {A Big Step from Finite to Infinite Computations {(SCICO} Journal-first)},
booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {166},
pages = {32:1--32:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.32},
doi = {10.4230/LIPICS.ECOOP.2020.32},
timestamp = {Mon, 16 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaDRZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DagninoBZD20,
author = {Francesco Dagnino and
Viviana Bono and
Elena Zucca and
Mariangiola Dezani{-}Ciancaglini},
editor = {Peter M{\"{u}}ller},
title = {Soundness Conditions for Big-Step Semantics},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {169--196},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_7},
doi = {10.1007/978-3-030-44914-8\_7},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/DagninoBZD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08738,
author = {Francesco Dagnino and
Viviana Bono and
Elena Zucca and
Mariangiola Dezani{-}Ciancaglini},
title = {Soundness conditions for big-step semantics},
journal = {CoRR},
volume = {abs/2002.08738},
year = {2020},
url = {https://arxiv.org/abs/2002.08738},
eprinttype = {arXiv},
eprint = {2002.08738},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-14085,
author = {Davide Ancona and
Pietro Barbieri and
Francesco Dagnino and
Elena Zucca},
title = {Sound Regular Corecursion in coFJ},
journal = {CoRR},
volume = {abs/2005.14085},
year = {2020},
url = {https://arxiv.org/abs/2005.14085},
eprinttype = {arXiv},
eprint = {2005.14085},
timestamp = {Wed, 03 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-14085.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02140,
author = {Francesco Dagnino and
Davide Ancona and
Elena Zucca},
title = {Flexible coinductive logic programming},
journal = {CoRR},
volume = {abs/2008.02140},
year = {2020},
url = {https://arxiv.org/abs/2008.02140},
eprinttype = {arXiv},
eprint = {2008.02140},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02140.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GianniniRSZ19,
author = {Paola Giannini and
Tim Richter and
Marco Servetto and
Elena Zucca},
title = {Tracing sharing in an imperative pure calculus},
journal = {Sci. Comput. Program.},
volume = {172},
pages = {180--202},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2018.11.007},
doi = {10.1016/J.SCICO.2018.11.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/GianniniRSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GianniniSZC19,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca and
James Cone},
title = {Flexible recovery of uniqueness and immutability},
journal = {Theor. Comput. Sci.},
volume = {764},
pages = {145--172},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.09.001},
doi = {10.1016/J.TCS.2018.09.001},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GianniniSZC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/CrafaPZ19,
author = {Silvia Crafa and
Matteo Di Pirro and
Elena Zucca},
editor = {Andrea Bracciali and
Jeremy Clark and
Federico Pintore and
Peter B. R{\o}nne and
Massimiliano Sala},
title = {Is Solidity Solid Enough?},
booktitle = {Financial Cryptography and Data Security - {FC} 2019 International
Workshops, {VOTING} and WTSC, St. Kitts, St. Kitts and Nevis, February
18-22, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11599},
pages = {138--153},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-43725-1\_11},
doi = {10.1007/978-3-030-43725-1\_11},
timestamp = {Mon, 03 Jan 2022 22:29:34 +0100},
biburl = {https://dblp.org/rec/conf/fc/CrafaPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BarbieriDZA19,
author = {Pietro Barbieri and
Francesco Dagnino and
Elena Zucca and
Davide Ancona},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Corecursive Featherweight Java Revisited},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {158--170},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper19.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BarbieriDZA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GianniniSZ19,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Alessandra Cherubini and
Nicoletta Sabadini and
Simone Tini},
title = {Tracing and Preventing Sharing and Mutation},
booktitle = {Proceedings of the 20th Italian Conference on Theoretical Computer
Science, {ICTCS} 2019, Como, Italy, September 9-11, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2504},
pages = {190--203},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2504/paper22.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GianniniSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaDZ18,
author = {Davide Ancona and
Francesco Dagnino and
Elena Zucca},
editor = {Todd D. Millstein},
title = {Modeling Infinite Behaviour by Corules},
booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
pages = {21:1--21:31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.21},
doi = {10.4230/LIPICS.ECOOP.2018.21},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaDZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GianniniSZ18,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {A type and effect system for uniqueness and immutability},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1038--1045},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167245},
doi = {10.1145/3167132.3167245},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/GianniniSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/PetruccianiCAZ18,
author = {Tommaso Petrucciani and
Giuseppe Castagna and
Davide Ancona and
Elena Zucca},
editor = {Peter Dybjer and
Jos{\'{e}} Esp{\'{\i}}rito Santo and
Lu{\'{\i}}s Pinto},
title = {Semantic Subtyping for Non-Strict Languages},
booktitle = {24th International Conference on Types for Proofs and Programs, {TYPES}
2018, June 18-21, 2018, Braga, Portugal},
series = {LIPIcs},
volume = {130},
pages = {4:1--4:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2018.4},
doi = {10.4230/LIPICS.TYPES.2018.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/types/PetruccianiCAZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-10107,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Michele Pagani and
Sandra Alves},
title = {A Syntactic Model of Mutation and Aliasing},
booktitle = {Proceedings Twelfth Workshop on Developments in Computational Models
and Ninth Workshop on Intersection Types and Related Systems, {DCM/ITRS}
2018, Oxford, UK, 8th July 2018},
series = {{EPTCS}},
volume = {293},
pages = {39--55},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.293.4},
doi = {10.4204/EPTCS.293.4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-10107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-05838,
author = {Paola Giannini and
Tim Richter and
Marco Servetto and
Elena Zucca},
title = {Tracing sharing in an imperative pure calculus},
journal = {CoRR},
volume = {abs/1803.05838},
year = {2018},
url = {http://arxiv.org/abs/1803.05838},
eprinttype = {arXiv},
eprint = {1803.05838},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-05838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00137,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca and
James Cone},
title = {Flexible recovery of uniqueness and immutability (Extended Version)},
journal = {CoRR},
volume = {abs/1807.00137},
year = {2018},
url = {http://arxiv.org/abs/1807.00137},
eprinttype = {arXiv},
eprint = {1807.00137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-05555,
author = {Tommaso Petrucciani and
Giuseppe Castagna and
Davide Ancona and
Elena Zucca},
title = {Semantic subtyping for non-strict languages},
journal = {CoRR},
volume = {abs/1810.05555},
year = {2018},
url = {http://arxiv.org/abs/1810.05555},
eprinttype = {arXiv},
eprint = {1810.05555},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-05555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AnconaGZ17,
author = {Davide Ancona and
Paola Giannini and
Elena Zucca},
title = {Type safe incremental rebinding},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {2},
pages = {94--122},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000109},
doi = {10.1017/S0960129515000109},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/AnconaGZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AnconaDZ17,
author = {Davide Ancona and
Francesco Dagnino and
Elena Zucca},
title = {Reasoning on divergent computations with coaxioms},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {81:1--81:26},
year = {2017},
url = {https://doi.org/10.1145/3133905},
doi = {10.1145/3133905},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AnconaDZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GianniniSZ17,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
title = {Tracing sharing in an imperative pure calculus: extended abstract},
booktitle = {Proceedings of the 19th Workshop on Formal Techniques for Java-like
Programs, Barcelona, Spain, June 20, 2017},
pages = {6:1--6:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3103111.3104038},
doi = {10.1145/3103111.3104038},
timestamp = {Mon, 18 Jan 2021 18:25:06 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GianniniSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AnconaDZ17,
author = {Davide Ancona and
Francesco Dagnino and
Elena Zucca},
editor = {Hongseok Yang},
title = {Generalizing Inference Systems by Coaxioms},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {29--55},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_2},
doi = {10.1007/978-3-662-54434-1\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/AnconaDZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GianniniSZ17,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {A type and effect system for sharing},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1513--1515},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019890},
doi = {10.1145/3019612.3019890},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/GianniniSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GianniniSZ16,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Vladimir Klebanov},
title = {Coupling catch clauses with local declarations},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {6},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955817},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/GianniniSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaDZ16,
author = {Davide Ancona and
Francesco Dagnino and
Elena Zucca},
editor = {Vladimir Klebanov},
title = {Towards a model of corecursion with default},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
pages = {9},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955820},
timestamp = {Mon, 28 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaDZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/CalamoneriS16,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Types for Immutability and Aliasing Control},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {62--74},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/CalamoneriS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GianniniSZ16,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Runtime Checks as Nominal Types},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {75--87},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full6.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GianniniSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GianniniSZ16,
author = {Paola Giannini and
Marco Servetto and
Elena Zucca},
editor = {Sascha Ossowski},
title = {Initialize-and-catch},
booktitle = {Proceedings of the 31st Annual {ACM} Symposium on Applied Computing,
Pisa, Italy, April 4-8, 2016},
pages = {1819--1822},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851613.2851943},
doi = {10.1145/2851613.2851943},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/GianniniSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-04901,
author = {Davide Ancona and
Francesco Dagnino and
Elena Zucca},
editor = {Ekaterina Komendantskaya and
John Power},
title = {Extending Coinductive Logic Programming with Co-Facts},
booktitle = {Proceedings of the First Workshop on Coalgebra, Horn Clause Logic
Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November
2016},
series = {{EPTCS}},
volume = {258},
pages = {1--18},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.258.1},
doi = {10.4204/EPTCS.258.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ServettoZ15,
author = {Marco Servetto and
Elena Zucca},
editor = {Xinyu Feng and
Sungwoo Park},
title = {Aliasing Control in an Imperative Pure Calculus},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9458},
pages = {208--228},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_12},
doi = {10.1007/978-3-319-26529-2\_12},
timestamp = {Fri, 04 Mar 2022 17:17:35 +0100},
biburl = {https://dblp.org/rec/conf/aplas/ServettoZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AnconaGZ15,
author = {Davide Ancona and
Paola Giannini and
Elena Zucca},
editor = {Tarmo Uustalu},
title = {Constrained Polymorphic Types for a Calculus with Name Variables},
booktitle = {21st International Conference on Types for Proofs and Programs, {TYPES}
2015, May 18-21, 2015, Tallinn, Estonia},
series = {LIPIcs},
volume = {69},
pages = {4:1--4:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2015.4},
doi = {10.4230/LIPICS.TYPES.2015.4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/types/AnconaGZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AnconaGZ16,
author = {Davide Ancona and
Paola Giannini and
Elena Zucca},
editor = {Pierluigi Crescenzi and
Michele Loreti},
title = {Incremental Rebinding with Name Polymorphism},
booktitle = {Proceedings of the 16th Italian Conference on Theoretical Computer
Science, {ICTCS} 2015, Firenze, Italy, September 9-11, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {322},
pages = {19--34},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.03.003},
doi = {10.1016/J.ENTCS.2016.03.003},
timestamp = {Thu, 10 Nov 2022 11:36:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AnconaGZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CapriccioliSZ16,
author = {Andrea Capriccioli and
Marco Servetto and
Elena Zucca},
editor = {Pierluigi Crescenzi and
Michele Loreti},
title = {An Imperative Pure Calculus},
booktitle = {Proceedings of the 16th Italian Conference on Theoretical Computer
Science, {ICTCS} 2015, Firenze, Italy, September 9-11, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {322},
pages = {87--102},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.03.007},
doi = {10.1016/J.ENTCS.2016.03.007},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CapriccioliSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ServettoZ14,
author = {Marco Servetto and
Elena Zucca},
title = {A meta-circular language for active libraries},
journal = {Sci. Comput. Program.},
volume = {95},
pages = {219--253},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.05.003},
doi = {10.1016/J.SCICO.2014.05.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ServettoZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaZ13,
author = {Davide Ancona and
Elena Zucca},
editor = {Werner Dietl},
title = {Safe corecursion in coFJ},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489807},
doi = {10.1145/2489804.2489807},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ServettoZ13,
author = {Marco Servetto and
Elena Zucca},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {A meta-circular language for active libraries},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {117--126},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426913},
doi = {10.1145/2426890.2426913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/ServettoZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LagorioSZ12,
author = {Giovanni Lagorio and
Marco Servetto and
Elena Zucca},
title = {Featherweight Jigsaw - Replacing inheritance by composition in Java-like
languages},
journal = {Inf. Comput.},
volume = {214},
pages = {86--111},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2012.02.004},
doi = {10.1016/J.IC.2012.02.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LagorioSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/CorradiSZ12,
author = {Andrea Corradi and
Marco Servetto and
Elena Zucca},
title = {DeepFJig - Modular composition of nested classes},
journal = {J. Object Technol.},
volume = {11},
number = {2},
pages = {1: 1--42},
year = {2012},
url = {https://doi.org/10.5381/jot.2012.11.2.a1},
doi = {10.5381/JOT.2012.11.2.A1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/CorradiSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaZ12,
author = {Davide Ancona and
Elena Zucca},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Corecursive Featherweight Java},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {3--10},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318205},
doi = {10.1145/2318202.2318205},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AnconaGZ13,
author = {Davide Ancona and
Paola Giannini and
Elena Zucca},
editor = {St{\'{e}}phane Graham{-}Lengrand and
Luca Paolini},
title = {Reconciling positional and nominal binding},
booktitle = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
{ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
series = {{EPTCS}},
volume = {121},
pages = {81--93},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.121.6},
doi = {10.4204/EPTCS.121.6},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/AnconaGZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Dezani-CiancagliniGZ11,
author = {Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Elena Zucca},
title = {Extending the lambda-calculus with unbind and rebind},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {45},
number = {1},
pages = {143--162},
year = {2011},
url = {https://doi.org/10.1051/ita/2011008},
doi = {10.1051/ITA/2011008},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Dezani-CiancagliniGZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AldrichSZ11,
author = {Jonathan Aldrich and
Jeremy G. Siek and
Elena Zucca},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {2011 international workshop on foundations of object-oriented languages
(fool'11): splash/oopsla '11 workshop summary},
booktitle = {Companion to the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {319--320},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048147.2048228},
doi = {10.1145/2048147.2048228},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/AldrichSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pppj/CorradiSZ11,
author = {Andrea Corradi and
Marco Servetto and
Elena Zucca},
editor = {Christian W. Probst and
Christian Wimmer},
title = {DeepFJig: modular composition of nested classes},
booktitle = {Proceedings of the 9th International Conference on Principles and
Practice of Programming in Java, {PPPJ} 2011, Kongens Lyngby, Denmark,
August 24-26, 2011},
pages = {101--110},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2093157.2093172},
doi = {10.1145/2093157.2093172},
timestamp = {Mon, 26 Nov 2018 15:05:58 +0100},
biburl = {https://dblp.org/rec/conf/pppj/CorradiSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ServettoZ10,
author = {Marco Servetto and
Elena Zucca},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {MetaFJig: a meta-circular composition language for Java-like classes},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {464--483},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869498},
doi = {10.1145/1869459.1869498},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ServettoZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1101-4426,
author = {Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Elena Zucca},
editor = {Elaine Pimentel and
Betti Venneri and
Joe B. Wells},
title = {Intersection types for unbind and rebind},
booktitle = {Proceedings Fifth Workshop on Intersection Types and Related Systems,
{ITRS} 2010, Edinburgh, U.K., 9th July 2010},
series = {{EPTCS}},
volume = {45},
pages = {45--58},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.45.4},
doi = {10.4204/EPTCS.45.4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-4426.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2010,
editor = {John Hatcliff and
Elena Zucca},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {6117},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7},
doi = {10.1007/978-3-642-13464-7},
isbn = {978-3-642-13463-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LagorioSZ09,
author = {Giovanni Lagorio and
Marco Servetto and
Elena Zucca},
editor = {Sophia Drossopoulou},
title = {Featherweight Jigsaw: {A} Minimal Core Calculus for Modular Composition
of Classes},
booktitle = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference,
Genoa, Italy, July 6-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5653},
pages = {244--268},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03013-0\_12},
doi = {10.1007/978-3-642-03013-0\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LagorioSZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Dezani-CiancagliniGZ09,
author = {Mariangiola Dezani{-}Ciancaglini and
Paola Giannini and
Elena Zucca},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {The essence of static and dynamic bindings},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {99--106},
year = {2009},
timestamp = {Tue, 28 May 2013 14:21:59 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/Dezani-CiancagliniGZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/LagorioSZ09,
author = {Giovanni Lagorio and
Marco Servetto and
Elena Zucca},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {Customizable composition operators for Java-like classes},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {136--142},
year = {2009},
timestamp = {Fri, 18 Nov 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/LagorioSZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LagorioSZ10,
author = {Giovanni Lagorio and
Marco Servetto and
Elena Zucca},
editor = {Sun Meng and
Bernhard Sch{\"{a}}tz},
title = {A Lightweight Approach to Customizable Composition Operators for Java-like
Classes},
booktitle = {Proceedings of the 6th International Workshop on Formal Aspects of
Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands,
November 2-3, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {263},
pages = {161--177},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2010.05.010},
doi = {10.1016/J.ENTCS.2010.05.010},
timestamp = {Thu, 09 Mar 2023 15:49:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LagorioSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AnconaLZ08,
author = {Davide Ancona and
Giovanni Lagorio and
Elena Zucca},
editor = {Stefano Berardi and
Ferruccio Damiani and
Ugo de'Liguoro},
title = {Type Inference by Coinductive Logic Programming},
booktitle = {Types for Proofs and Programs, International Conference, {TYPES} 2008,
Torino, Italy, March 26-29, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5497},
pages = {1--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02444-3\_1},
doi = {10.1007/978-3-642-02444-3\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/AnconaLZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/LagorioZ07,
author = {Giovanni Lagorio and
Elena Zucca},
title = {Just: Safe Unknown Types in Java-like Languages},
journal = {J. Object Technol.},
volume = {6},
number = {2},
pages = {69--98},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.2.a4},
doi = {10.5381/JOT.2007.6.2.A4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/LagorioZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FagorziZ07,
author = {Sonia Fagorzi and
Elena Zucca},
title = {A calculus of open modules: call-by-need strategy and confluence},
journal = {Math. Struct. Comput. Sci.},
volume = {17},
number = {4},
pages = {675--751},
year = {2007},
url = {https://doi.org/10.1017/S0960129507006238},
doi = {10.1017/S0960129507006238},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FagorziZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AnconaADDGZ07,
author = {Davide Ancona and
Christopher Anderson and
Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini and
Elena Zucca},
title = {A provenly correct translation of Fickle into Java},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {13},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216381},
doi = {10.1145/1216374.1216381},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AnconaADDGZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaZ07,
author = {Davide Ancona and
Elena Zucca},
editor = {Giuseppe F. Italiano and
Eugenio Moggi and
Luigi Laura},
title = {A formal framework for compositional compilation},
booktitle = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
Rome, Italy, October 3-5, 2007, Proceedings},
pages = {106--117},
publisher = {World Scientific},
year = {2007},
timestamp = {Wed, 11 Jun 2008 08:55:26 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaLZ07,
author = {Davide Ancona and
Giovanni Lagorio and
Elena Zucca},
editor = {Giuseppe F. Italiano and
Eugenio Moggi and
Luigi Laura},
title = {Type inference for polymorphic methods in Java-like languages},
booktitle = {Theoretical Computer Science, 10th Italian Conference, {ICTCS} 2007,
Rome, Italy, October 3-5, 2007, Proceedings},
pages = {118--129},
publisher = {World Scientific},
year = {2007},
timestamp = {Wed, 11 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AnconaFZ08,
author = {Davide Ancona and
Sonia Fagorzi and
Elena Zucca},
editor = {Vincent Danos and
Mariangiola Dezani},
title = {A Parametric Calculus for Mobile Open Code},
booktitle = {Proceedings of the Third International Workshop on Developments in
Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {192},
number = {3},
pages = {3--22},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.024},
doi = {10.1016/J.ENTCS.2008.10.024},
timestamp = {Thu, 09 Feb 2023 11:01:17 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AnconaFZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AnconaDILPZ06,
author = {Davide Ancona and
Sophia Drossopoulou and
Atsushi Igarashi and
Gary T. Leavens and
Arnd Poetzsch{-}Heffter and
Elena Zucca},
editor = {Mario S{\"{u}}dholt and
Charles Consel},
title = {Formal Techniques for Java-Like Programs},
booktitle = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4379},
pages = {53--58},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71774-4\_6},
doi = {10.1007/978-3-540-71774-4\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/AnconaDILPZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jmlc/AnconaLZ06,
author = {Davide Ancona and
Giovanni Lagorio and
Elena Zucca},
editor = {David E. Lightfoot and
Clemens A. Szyperski},
title = {Flexible Type-Safe Linking of Components for Java-Like Languages},
booktitle = {Modular Programming Languages, 7th Joint Modular Languages Conference,
{JMLC} 2006, Oxford, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4228},
pages = {136--154},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11860990\_10},
doi = {10.1007/11860990\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jmlc/AnconaLZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LagorioZ06,
author = {Giovanni Lagorio and
Elena Zucca},
editor = {Hisham Haddad},
title = {Introducing safe unknown types in Java-like languages},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1429--1434},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141609},
doi = {10.1145/1141277.1141609},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/LagorioZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/FagorziZ06,
author = {Sonia Fagorzi and
Elena Zucca},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {A Framework for Type Safe Exchange of Mobile Code},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {319--338},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_20},
doi = {10.1007/978-3-540-75336-0\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/FagorziZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FagorziZ07,
author = {Sonia Fagorzi and
Elena Zucca},
editor = {Vladimir Mencl and
Frank S. de Boer},
title = {A Calculus of Components with Dynamic Type-Checking},
booktitle = {Proceedings of the Third International Workshop on Formal Aspects
of Component Software, {FACS} 2006, Prague, Czech Republic, September
20-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {182},
pages = {73--90},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.032},
doi = {10.1016/J.ENTCS.2006.09.032},
timestamp = {Tue, 24 Jan 2023 13:47:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FagorziZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AnconaDDZ05,
author = {Davide Ancona and
Ferruccio Damiani and
Sophia Drossopoulou and
Elena Zucca},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Polymorphic bytecode: compositional compilation for Java-like languages},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {26--37},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040308},
doi = {10.1145/1040305.1040308},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AnconaDDZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/AnconaFZ05,
author = {Davide Ancona and
Sonia Fagorzi and
Elena Zucca},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {Mixin Modules for Dynamic Rebinding},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {279--298},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_15},
doi = {10.1007/11580850\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/AnconaFZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FagorziZ06,
author = {Sonia Fagorzi and
Elena Zucca},
editor = {Maribel Fern{\'{a}}ndez and
Ian Mackie},
title = {A Calculus for Reconfiguration: (Extended abstract)},
booktitle = {Proceedings of the First International Workshop on Developments in
Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {3},
pages = {49--59},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.020},
doi = {10.1016/J.ENTCS.2005.09.020},
timestamp = {Thu, 15 Dec 2022 14:14:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FagorziZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FagorziZ04,
author = {Sonia Fagorzi and
Elena Zucca},
title = {A Case-Study in Encoding Configuration Languages: Multiple Class Loaders},
journal = {J. Object Technol.},
volume = {3},
number = {11},
pages = {31--54},
year = {2004},
url = {https://doi.org/10.5381/jot.2004.3.11.a2},
doi = {10.5381/JOT.2004.3.11.A2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FagorziZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AnconaFZ04,
author = {Davide Ancona and
Sonia Fagorzi and
Elena Zucca},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {A Calculus with Lazy Module Operators},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {423--436},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_33},
doi = {10.1007/1-4020-8141-3\_33},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AnconaFZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AnconaZ04,
author = {Davide Ancona and
Elena Zucca},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Principal typings for Java-like languages},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {306--317},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964027},
doi = {10.1145/964001.964027},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/AnconaZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FagorziZA04,
author = {Sonia Fagorzi and
Elena Zucca and
Davide Ancona},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Modeling multiple class loaders by a calculus for dynamic linking},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {1281--1288},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968161},
doi = {10.1145/967900.968161},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/FagorziZA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AnconaFZ05,
author = {Davide Ancona and
Sonia Fagorzi and
Elena Zucca},
editor = {Viviana Bono and
Michele Bugliesi and
Sophia Drossopoulou},
title = {A Calculus for Dynamic Reconfiguration with Low Priority Linking},
booktitle = {Proceedings of the Second Workshop on Object Oriented Developments,
{WOOD} 2004, London, UK, August 30, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {138},
number = {2},
pages = {3--35},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.009},
doi = {10.1016/J.ENTCS.2005.09.009},
timestamp = {Tue, 13 Dec 2022 09:16:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AnconaFZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AnconaLZ03,
author = {Davide Ancona and
Giovanni Lagorio and
Elena Zucca},
title = {Jam - designing a Java extension with mixins},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {25},
number = {5},
pages = {641--712},
year = {2003},
url = {https://doi.org/10.1145/937563.937567},
doi = {10.1145/937563.937567},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/AnconaLZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AnconaFMZ03,
author = {Davide Ancona and
Sonia Fagorzi and
Eugenio Moggi and
Elena Zucca},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Mixin Modules and Computational Effects},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {224--238},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_20},
doi = {10.1007/3-540-45061-0\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AnconaFMZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaFZ03,
author = {Davide Ancona and
Sonia Fagorzi and
Elena Zucca},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {A Calculus for Dynamic Linking},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {284--301},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_23},
doi = {10.1007/978-3-540-45208-9\_23},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaFZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AnconaZ02,
author = {Davide Ancona and
Elena Zucca},
title = {A calculus of module systems},
journal = {J. Funct. Program.},
volume = {12},
number = {2},
pages = {91--132},
year = {2002},
url = {https://doi.org/10.1017/S0956796801004257},
doi = {10.1017/S0956796801004257},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AnconaZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AnconaZ02,
author = {Davide Ancona and
Elena Zucca},
title = {A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {12},
number = {6},
pages = {701--737},
year = {2002},
url = {https://doi.org/10.1017/S0960129502003687},
doi = {10.1017/S0960129502003687},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AnconaZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaLZ02,
author = {Davide Ancona and
Giovanni Lagorio and
Elena Zucca},
editor = {Boris Magnusson},
title = {A Formal Framework for Java Separate Compilation},
booktitle = {{ECOOP} 2002 - Object-Oriented Programming, 16th European Conference,
Malaga, Spain, June 10-14, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2374},
pages = {609--636},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47993-7\_26},
doi = {10.1007/3-540-47993-7\_26},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaLZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AnconaLZ02,
author = {Davide Ancona and
Giovanni Lagorio and
Elena Zucca},
title = {True separate compilation of Java classes},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {189--200},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571177},
doi = {10.1145/571157.571177},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AnconaLZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaZ01,
author = {Davide Ancona and
Elena Zucca},
editor = {J{\o}rgen Lindskov Knudsen},
title = {True Modules for Java-like Languages},
booktitle = {{ECOOP} 2001 - Object-Oriented Programming, 15th European Conference,
Budapest, Hungary, June 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2072},
pages = {354--380},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45337-7\_19},
doi = {10.1007/3-540-45337-7\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AnconaADDGZ01,
author = {Davide Ancona and
Christopher Anderson and
Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini and
Elena Zucca},
editor = {Antonio Restivo and
Simona Ronchi Della Rocca and
Luca Roversi},
title = {An Effective Translation of Fickle into Java},
booktitle = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
Torino, Italy, October 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2202},
pages = {215--234},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45446-2\_14},
doi = {10.1007/3-540-45446-2\_14},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/AnconaADDGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AnconaLZ01,
author = {Davide Ancona and
Giovanni Lagorio and
Elena Zucca},
editor = {Linda M. Northrop and
John M. Vlissides},
title = {A Core Calculus for Java Exceptions},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2001, Tampa,
Florida, USA, October 14-18, 2001},
pages = {16--30},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/504282.504284},
doi = {10.1145/504282.504284},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AnconaLZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AnconaADDGZ01,
author = {Davide Ancona and
Christopher Anderson and
Ferruccio Damiani and
Sophia Drossopoulou and
Paola Giannini and
Elena Zucca},
editor = {Marina Lenisa and
Marino Miculan},
title = {A type preserving translation of Fickle into Java},
booktitle = {Theory of Concurrency, Higher Order Languages and Types, {TOSCA} 2001,
Udine, Italy, November 19-21, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {62},
pages = {69--82},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00320-2},
doi = {10.1016/S1571-0661(04)00320-2},
timestamp = {Wed, 30 Nov 2022 12:15:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AnconaADDGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/AnconaLZ00,
author = {Davide Ancona and
Giovanni Lagorio and
Elena Zucca},
editor = {Elisa Bertino},
title = {Jam - {A} Smooth Extension of Java with Mixins},
booktitle = {{ECOOP} 2000 - Object-Oriented Programming, 14th European Conference,
Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1850},
pages = {154--178},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45102-1\_8},
doi = {10.1007/3-540-45102-1\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/AnconaLZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AudebaudZ99,
author = {Philippe Audebaud and
Elena Zucca},
title = {Deriving Proof Rules from Continuation Semantics},
journal = {Formal Aspects Comput.},
volume = {11},
number = {4},
pages = {426--447},
year = {1999},
url = {https://doi.org/10.1007/s001650050041},
doi = {10.1007/S001650050041},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AudebaudZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AstesianoRZ99,
author = {Egidio Astesiano and
Gianna Reggio and
Elena Zucca},
title = {Stores as Homomorphisms and Their Transformations: {A} Uniform Approach
to Structured Types in Imperative Languages},
journal = {Sci. Comput. Program.},
volume = {34},
number = {3},
pages = {163--190},
year = {1999},
url = {https://doi.org/10.1016/S0167-6423(98)00022-7},
doi = {10.1016/S0167-6423(98)00022-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AstesianoRZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Zucca99,
author = {Elena Zucca},
title = {From Static to Dynamic Abstract Data-Types: An Institution Transformation},
journal = {Theor. Comput. Sci.},
volume = {216},
number = {1-2},
pages = {109--157},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00125-X},
doi = {10.1016/S0304-3975(98)00125-X},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Zucca99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AnconaCZ99,
author = {Davide Ancona and
Maura Cerioli and
Elena Zucca},
editor = {Jean{-}Pierre Finance},
title = {A Formal Framework with Late Binding},
booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl
Conference, FASE'99, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands,
March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1577},
pages = {30--44},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-49020-3\_3},
doi = {10.1007/978-3-540-49020-3\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/AnconaCZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AnconaZ99,
author = {Davide Ancona and
Elena Zucca},
editor = {Gopalan Nadathur},
title = {A Primitive Calculus for Module Systems},
booktitle = {Principles and Practice of Declarative Programming, International
Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1702},
pages = {62--79},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704567\_4},
doi = {10.1007/10704567\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AnconaZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AnconaCZ99,
author = {Davide Ancona and
Maura Cerioli and
Elena Zucca},
editor = {Didier Bert and
Christine Choppy and
Peter D. Mosses},
title = {Extending Casl by Late Binding},
booktitle = {Recent Trends in Algebraic Development Techniques, 14th International
Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1827},
pages = {53--72},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-44616-3\_4},
doi = {10.1007/978-3-540-44616-3\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/AnconaCZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AnconaZ98,
author = {Davide Ancona and
Elena Zucca},
title = {A Theory of Mixin Modules: Basic and Derived Operators},
journal = {Math. Struct. Comput. Sci.},
volume = {8},
number = {4},
pages = {401--446},
year = {1998},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44767},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AnconaZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/AnconaZ97,
author = {Davide Ancona and
Elena Zucca},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {Overriding Operators in a Mixin-Based Framework},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {47--61},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033836},
doi = {10.1007/BFB0033836},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/AnconaZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/AnconaZ97,
author = {Davide Ancona and
Elena Zucca},
editor = {Francesco Parisi{-}Presicce},
title = {An algebra of mixin modules},
booktitle = {Recent Trends in Algebraic Development Techniques, 12th International
Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1376},
pages = {92--106},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-64299-4\_28},
doi = {10.1007/3-540-64299-4\_28},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/AnconaZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/CerioliZ97,
author = {Maura Cerioli and
Elena Zucca},
editor = {Francesco Parisi{-}Presicce},
title = {Implementation of derived programs (almost) for free},
booktitle = {Recent Trends in Algebraic Development Techniques, 12th International
Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1376},
pages = {141--155},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-64299-4\_31},
doi = {10.1007/3-540-64299-4\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/CerioliZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BreuZ96,
author = {Ruth Breu and
Elena Zucca},
title = {An Algebraic Semantic Framework for Object Oriented Languages with
Concurrency (Extended Abstract)},
journal = {Formal Aspects Comput.},
volume = {8},
number = {6},
pages = {706--715},
year = {1996},
url = {https://doi.org/10.1007/BF01213495},
doi = {10.1007/BF01213495},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BreuZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AstesianoZ96,
author = {Egidio Astesiano and
Elena Zucca},
title = {A Free Construction of Dynamic Terms},
journal = {J. Comput. Syst. Sci.},
volume = {52},
number = {1},
pages = {143--156},
year = {1996},
url = {https://doi.org/10.1006/jcss.1996.0011},
doi = {10.1006/JCSS.1996.0011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AstesianoZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AnconaZ96,
author = {Davide Ancona and
Elena Zucca},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {An Algebraic Approach to Mixins and Modularity},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {179--193},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_12},
doi = {10.1007/3-540-61735-3\_12},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/AnconaZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AnconaZ96,
author = {Davide Ancona and
Elena Zucca},
editor = {Martin Wirsing and
Maurice Nivat},
title = {A Formal Framework for Modules with State},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {148--162},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014313},
doi = {10.1007/BFB0014313},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/AnconaZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Zucca96,
author = {Elena Zucca},
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {From Static to Dynamic Abstract Data-Types},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {579--590},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_180},
doi = {10.1007/3-540-61550-4\_180},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Zucca96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AstesianoZ95,
author = {Egidio Astesiano and
Elena Zucca},
title = {D-oids: {A} Model for Dynamic Data-Types},
journal = {Math. Struct. Comput. Sci.},
volume = {5},
number = {2},
pages = {257--282},
year = {1995},
url = {https://doi.org/10.1017/S0960129500000736},
doi = {10.1017/S0960129500000736},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AstesianoZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Zucca94,
author = {Elena Zucca},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Implementation of Data Structures in an Imperative Framework},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {483--498},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014446},
doi = {10.1007/BFB0014446},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/Zucca94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AstesianoRZ93,
author = {Egidio Astesiano and
Gianna Reggio and
Elena Zucca},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Stores as Homomorphisms and their Transformations},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {242--251},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_16},
doi = {10.1007/3-540-57182-5\_16},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AstesianoRZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmldo/AstesianoZ92,
author = {Egidio Astesiano and
Elena Zucca},
editor = {Udo W. Lipeck and
Bernhard Thalheim},
title = {A Semantic Model for Dynamic Systems},
booktitle = {Modelling Database Dynamics, Selected Papers from the Fourth International
Workshop on Foundations of Models and Languages for Data and Objects,
Volkse (near Braunschweig), Germany, 19-23 October 1992},
series = {Workshops in Computing},
pages = {63--83},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3554-8\_5},
doi = {10.1007/978-1-4471-3554-8\_5},
timestamp = {Mon, 16 Sep 2019 15:23:39 +0200},
biburl = {https://dblp.org/rec/conf/fmldo/AstesianoZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BreuZ89,
author = {Ruth Breu and
Elena Zucca},
editor = {C. E. Veni Madhavan},
title = {An Algebraic Compositional Semantics of an Object Oriented Notation
with Concurrency},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {405},
pages = {131--142},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52048-1\_39},
doi = {10.1007/3-540-52048-1\_39},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/BreuZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/AstesianoGRZ87,
author = {Egidio Astesiano and
Alessandro Giovini and
Gianna Reggio and
Elena Zucca},
editor = {Martin Wirsing and
Jan A. Bergstra},
title = {An Integrated Algebraic Approach to the Specification of Data Types,
Processes and Objects},
booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
in Passau, Germany, June 9-11, 1987]},
series = {Lecture Notes in Computer Science},
volume = {394},
pages = {91--116},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0015037},
doi = {10.1007/BFB0015037},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/am/AstesianoGRZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AstesianoZ84,
author = {Egidio Astesiano and
Elena Zucca},
title = {Parametric Channels via Label Expressions in {CCS}},
journal = {Theor. Comput. Sci.},
volume = {33},
pages = {45--63},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90102-6},
doi = {10.1016/0304-3975(84)90102-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AstesianoZ84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/AstesianoZ81,
author = {Egidio Astesiano and
Elena Zucca},
editor = {Wilfried Brauer},
title = {Semantics of Distributed Processes Derived by Translation},
booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
Oktober 1981, Proceedings},
series = {Informatik-Fachberichte},
volume = {50},
pages = {78--87},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/978-3-662-01089-1\_10},
doi = {10.1007/978-3-662-01089-1\_10},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/AstesianoZ81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AstesianoZ81,
author = {Egidio Astesiano and
Elena Zucca},
editor = {Jozef Gruska and
Michal Chytil},
title = {Semantics of {CSP} via Translation into {CCS}},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {172--182},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_83},
doi = {10.1007/3-540-10856-4\_83},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AstesianoZ81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-11 20:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
