Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Alberto Pettorossi
@inproceedings{DBLP:conf/pepm/PettorossiPFA24, author = {Alberto Pettorossi and Maurizio Proietti and Fabio Fioravanti and Emanuele {De Angelis}}, editor = {Gabriele Keller and Meng Wang}, title = {A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)}, booktitle = {Proceedings of the 2024 {ACM} {SIGPLAN} International Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2024, London, UK, 16 January 2024}, pages = {16--38}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3635800.3637446}, doi = {10.1145/3635800.3637446}, timestamp = {Fri, 12 Jan 2024 11:03:54 +0100}, biburl = {https://dblp.org/rec/conf/pepm/PettorossiPFA24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AngelisFPP23, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Robert Gl{\"{u}}ck and Bishoksan Kafle}, title = {Constrained Horn Clauses Satisfiability via Catamorphic Abstractions}, booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14330}, pages = {39--57}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45784-5\_4}, doi = {10.1007/978-3-031-45784-5\_4}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AngelisFPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/AngelisFPP23, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Michael Hanus and Daniela Inclezan}, title = {Multiple Query Satisfiability of Constrained Horn Clauses}, booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium, {PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13880}, pages = {125--143}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-24841-2\_9}, doi = {10.1007/978-3-031-24841-2\_9}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/padl/AngelisFPP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/AngelisFPP22, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Satisfiability of constrained Horn clauses on algebraic data types: {A} transformation-based approach}, journal = {J. Log. Comput.}, volume = {32}, number = {2}, pages = {402--442}, year = {2022}, url = {https://doi.org/10.1093/logcom/exab090}, doi = {10.1093/LOGCOM/EXAB090}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/AngelisFPP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/AngelisPFP22, author = {Emanuele {De Angelis} and Maurizio Proietti and Fabio Fioravanti and Alberto Pettorossi}, title = {Verifying Catamorphism-Based Contracts using Constrained Horn Clauses}, journal = {Theory Pract. Log. Program.}, volume = {22}, number = {4}, pages = {555--572}, year = {2022}, url = {https://doi.org/10.1017/S1471068422000175}, doi = {10.1017/S1471068422000175}, timestamp = {Sat, 10 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/AngelisPFP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/AngelisFGHPP22, author = {Emanuele {De Angelis} and Fabio Fioravanti and John P. Gallagher and Manuel V. Hermenegildo and Alberto Pettorossi and Maurizio Proietti}, title = {Analysis and Transformation of Constrained Horn Clauses for Program Verification}, journal = {Theory Pract. Log. Program.}, volume = {22}, number = {6}, pages = {974--1042}, year = {2022}, url = {https://doi.org/10.1017/S1471068421000211}, doi = {10.1017/S1471068421000211}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/AngelisFGHPP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2211-12228, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Geoffrey William Hamilton and Temesghen Kahsai and Maurizio Proietti}, title = {Contract Strengthening through Constrained Horn Clause Verification}, booktitle = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022}, series = {{EPTCS}}, volume = {373}, pages = {23--34}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.373.3}, doi = {10.4204/EPTCS.373.3}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-12228.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-06236, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Verifying Catamorphism-Based Contracts using Constrained Horn Clauses}, journal = {CoRR}, volume = {abs/2205.06236}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.06236}, doi = {10.48550/ARXIV.2205.06236}, eprinttype = {arXiv}, eprint = {2205.06236}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-06236.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-15207, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Multiple Query Satisfiability of Constrained Horn Clauses}, journal = {CoRR}, volume = {abs/2211.15207}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.15207}, doi = {10.48550/ARXIV.2211.15207}, eprinttype = {arXiv}, eprint = {2211.15207}, timestamp = {Tue, 29 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-15207.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/Pettorossi21, author = {Alberto Pettorossi}, title = {Techniques for Searching, Parsing, and Matching}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-63189-5}, doi = {10.1007/978-3-030-63189-5}, isbn = {978-3-030-63188-8}, timestamp = {Mon, 17 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/Pettorossi21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-00739, author = {Emanuele {De Angelis} and Fabio Fioravanti and John P. Gallagher and Manuel V. Hermenegildo and Alberto Pettorossi and Maurizio Proietti}, title = {Analysis and Transformation of Constrained Horn Clauses for Program Verification}, journal = {CoRR}, volume = {abs/2108.00739}, year = {2021}, url = {https://arxiv.org/abs/2108.00739}, eprinttype = {arXiv}, eprint = {2108.00739}, timestamp = {Thu, 05 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-00739.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-11819, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Satisfiability of Constrained Horn Clauses on Algebraic Data Types: {A} Transformation-based Approach}, journal = {CoRR}, volume = {abs/2111.11819}, year = {2021}, url = {https://arxiv.org/abs/2111.11819}, eprinttype = {arXiv}, eprint = {2111.11819}, timestamp = {Fri, 26 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-11819.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/HermenegildoLPP20, author = {Manuel V. Hermenegildo and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Alberto Pettorossi and Maurizio Proietti}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {177}, number = {3-4}, year = {2020}, url = {https://doi.org/10.3233/FI-2020-1987}, doi = {10.3233/FI-2020-1987}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/HermenegildoLPP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/AngelisFPP20, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Nicolas Peltier and Viorica Sofronie{-}Stokkermans}, title = {Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates}, booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR} 2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12166}, pages = {83--102}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-51074-9\_6}, doi = {10.1007/978-3-030-51074-9\_6}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/AngelisFPP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2008-02927, author = {Alberto Pettorossi}, editor = {Laurent Fribourg and Matthias Heizmann}, title = {A Historical Account of My Early Research Interests}, booktitle = {Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020}, series = {{EPTCS}}, volume = {320}, pages = {1--28}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.320.1}, doi = {10.4204/EPTCS.320.1}, timestamp = {Mon, 26 Apr 2021 11:43:53 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-02927.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2004-07749, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates}, journal = {CoRR}, volume = {abs/2004.07749}, year = {2020}, url = {https://arxiv.org/abs/2004.07749}, eprinttype = {arXiv}, eprint = {2004.07749}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-07749.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AngelisFMPP19, author = {Emanuele {De Angelis} and Fabio Fioravanti and Maria Chiara Meo and Alberto Pettorossi and Maurizio Proietti}, title = {Semantics and Controllability of Time-Aware Business Processes}, journal = {Fundam. Informaticae}, volume = {165}, number = {3-4}, pages = {205--244}, year = {2019}, url = {https://doi.org/10.3233/FI-2019-1783}, doi = {10.3233/FI-2019-1783}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/AngelisFMPP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/AngelisFPP19, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Solving Horn Clauses on Inductive Data Types Without Induction - {ERRATUM}}, journal = {Theory Pract. Log. Program.}, volume = {19}, number = {4}, pages = {629}, year = {2019}, url = {https://doi.org/10.1017/S147106841900005X}, doi = {10.1017/S147106841900005X}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/AngelisFPP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP19, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Alberto Casagrande and Eugenio G. Omodeo}, title = {Proving Properties of Sorting Programs: {A} Case Study in Horn Clause Verification}, booktitle = {Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2396}, publisher = {CEUR-WS.org}, year = {2019}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/AngelisFPPP19, author = {Emanuele {De Angelis} and Fabio Fioravanti and Adri{\'{a}}n Palacios and Alberto Pettorossi and Maurizio Proietti}, editor = {Dirk Beyer and Chantal Keller}, title = {Property-Based Test Case Generators for Free}, booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11823}, pages = {186--206}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31157-5\_12}, doi = {10.1007/978-3-030-31157-5\_12}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tap/AngelisFPPP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1908-07188, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Alexei Lisitsa and Andrei P. Nemytykh}, title = {Lemma Generation for Horn Clause Satisfiability: {A} Preliminary Study}, booktitle = {Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019}, series = {{EPTCS}}, volume = {299}, pages = {4--18}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.299.4}, doi = {10.4204/EPTCS.299.4}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-07188.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1907-03999, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Emanuele {De Angelis} and Grigory Fedyukovich and Nikos Tzevelekos and Mattias Ulbrich}, title = {Proving Properties of Sorting Programs: {A} Case Study in Horn Clause Verification}, booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019}, series = {{EPTCS}}, volume = {296}, pages = {48--75}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.296.8}, doi = {10.4204/EPTCS.296.8}, timestamp = {Mon, 26 Jun 2023 20:50:18 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-03999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/MarateaMAP18, author = {Marco Maratea and Viviana Mascardi and Davide Ancona and Alberto Pettorossi}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {159}, number = {1-2}, pages = {v--vi}, year = {2018}, url = {https://doi.org/10.3233/FI-2018-1655}, doi = {10.3233/FI-2018-1655}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/MarateaMAP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FiorentiniMP18, author = {Camillo Fiorentini and Alberto Momigliano and Alberto Pettorossi}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {161}, number = {1-2}, pages = {v--vii}, year = {2018}, url = {https://doi.org/10.3233/FI-2018-1691}, doi = {10.3233/FI-2018-1691}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/FiorentiniMP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/AngelisFPP18, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Predicate Pairing for program verification}, journal = {Theory Pract. Log. Program.}, volume = {18}, number = {2}, pages = {126--166}, year = {2018}, url = {https://doi.org/10.1017/S1471068417000497}, doi = {10.1017/S1471068417000497}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/AngelisFPP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/AngelisFPP18a, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Solving Horn Clauses on Inductive Data Types Without Induction}, journal = {Theory Pract. Log. Program.}, volume = {18}, number = {3-4}, pages = {452--469}, year = {2018}, url = {https://doi.org/10.1017/S1471068418000157}, doi = {10.1017/S1471068418000157}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/AngelisFPP18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1809-04770, author = {Emanuele {De Angelis} and Fabio Fioravanti and Adri{\'{a}}n Palacios and Alberto Pettorossi and Maurizio Proietti}, editor = {Temesghen Kahsai and Germ{\'{a}}n Vidal}, title = {Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs}, booktitle = {Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, {HCVS} 2018, Oxford, UK, 13th July 2018}, series = {{EPTCS}}, volume = {278}, pages = {19--26}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.278.4}, doi = {10.4204/EPTCS.278.4}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-04770.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-09007, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Solving Horn Clauses on Inductive Data Types Without Induction}, journal = {CoRR}, volume = {abs/1804.09007}, year = {2018}, url = {http://arxiv.org/abs/1804.09007}, eprinttype = {arXiv}, eprint = {1804.09007}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-09007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AngelisFPP17a, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Program Verification using Constraint Handling Rules and Array Constraint Generalizations}, journal = {Fundam. Informaticae}, volume = {150}, number = {1}, pages = {73--117}, year = {2017}, url = {https://doi.org/10.3233/FI-2017-1461}, doi = {10.3233/FI-2017-1461}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/AngelisFPP17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GiordanoGPP17a, author = {Laura Giordano and Valentina Gliozzi and Alberto Pettorossi and Gian Luca Pozzato}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {150}, number = {1}, pages = {v--vi}, year = {2017}, url = {https://doi.org/10.3233/FI-2017-1457}, doi = {10.3233/FI-2017-1457}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GiordanoGPP17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AngelisFPP17, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Semantics-based generation of verification conditions via program specialization}, journal = {Sci. Comput. Program.}, volume = {147}, pages = {78--108}, year = {2017}, url = {https://doi.org/10.1016/j.scico.2016.11.002}, doi = {10.1016/J.SCICO.2016.11.002}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AngelisFPP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AngelisFPP17, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Fabio Fioravanti and John P. Gallagher}, title = {Predicate Pairing with Abstraction for Relational Verification}, booktitle = {Logic-Based Program Synthesis and Transformation - 27th International Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10855}, pages = {289--305}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-94460-9\_17}, doi = {10.1007/978-3-319-94460-9\_17}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/AngelisFPP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/AngelisFMPP17, author = {Emanuele {De Angelis} and Fabio Fioravanti and Maria Chiara Meo and Alberto Pettorossi and Maurizio Proietti}, editor = {Stefania Costantini and Enrico Franconi and William Van Woensel and Roman Kontchakov and Fariba Sadri and Dumitru Roman}, title = {Verifying Controllability of Time-Aware Business Processes}, booktitle = {Rules and Reasoning - International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10364}, pages = {103--118}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-61252-2\_8}, doi = {10.1007/978-3-319-61252-2\_8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/AngelisFMPP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/PettorossiP17, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Regularity of non context-free languages over a singleton terminal alphabet}, journal = {CoRR}, volume = {abs/1705.09695}, year = {2017}, url = {http://arxiv.org/abs/1705.09695}, eprinttype = {arXiv}, eprint = {1705.09695}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PettorossiP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1708-01473, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Predicate Pairing for Program Verification}, journal = {CoRR}, volume = {abs/1708.01473}, year = {2017}, url = {http://arxiv.org/abs/1708.01473}, eprinttype = {arXiv}, eprint = {1708.01473}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1708-01473.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-04809, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Enhancing Predicate Pairing with Abstraction for Relational Verification}, journal = {CoRR}, volume = {abs/1709.04809}, year = {2017}, url = {http://arxiv.org/abs/1709.04809}, eprinttype = {arXiv}, eprint = {1709.04809}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-04809.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP16, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Camillo Fiorentini and Alberto Momigliano}, title = {Verifying Relational Program Properties by Transforming Constrained Horn clauses}, booktitle = {Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1645}, pages = {69--85}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1645/paper\_14.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AngelisFMPP16, author = {Emanuele {De Angelis} and Fabio Fioravanti and Maria Chiara Meo and Alberto Pettorossi and Maurizio Proietti}, editor = {Manuel V. Hermenegildo and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a}, title = {Verification of Time-Aware Business Processes Using Constrained Horn Clauses}, booktitle = {Logic-Based Program Synthesis and Transformation - 26th International Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10184}, pages = {38--55}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-63139-4\_3}, doi = {10.1007/978-3-319-63139-4\_3}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/AngelisFMPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/AngelisFPP16, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Xavier Rival}, title = {Relational Verification Through Horn Clause Transformation}, booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh, UK, September 8-10, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9837}, pages = {147--169}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-53413-7\_8}, doi = {10.1007/978-3-662-53413-7\_8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/AngelisFPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/AngelisFPP16, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {John P. Gallagher and Philipp R{\"{u}}mmer}, title = {Removing Unnecessary Variables from Horn Clause Verification Conditions}, booktitle = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016}, series = {{EPTCS}}, volume = {219}, pages = {49--55}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.219.5}, doi = {10.4204/EPTCS.219.5}, timestamp = {Sat, 30 Sep 2023 10:07:57 +0200}, biburl = {https://dblp.org/rec/journals/corr/AngelisFPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AngelisFMPP16, author = {Emanuele {De Angelis} and Fabio Fioravanti and Maria Chiara Meo and Alberto Pettorossi and Maurizio Proietti}, title = {Verification of Time-Aware Business Processes using Constrained Horn Clauses}, journal = {CoRR}, volume = {abs/1608.02807}, year = {2016}, url = {http://arxiv.org/abs/1608.02807}, eprinttype = {arXiv}, eprint = {1608.02807}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AngelisFMPP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AngelisFPP15, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {A Rule-based Verification Strategy for Array Manipulating Programs}, journal = {Fundam. Informaticae}, volume = {140}, number = {3-4}, pages = {329--355}, year = {2015}, url = {https://doi.org/10.3233/FI-2015-1257}, doi = {10.3233/FI-2015-1257}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/AngelisFPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/AngelisFPP15, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Proving correctness of imperative programs by linearizing constrained Horn clauses}, journal = {Theory Pract. Log. Program.}, volume = {15}, number = {4-5}, pages = {635--650}, year = {2015}, url = {https://doi.org/10.1017/S1471068415000289}, doi = {10.1017/S1471068415000289}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/AngelisFPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/AngelisFPP15, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Moreno Falaschi and Elvira Albert}, title = {Semantics-based generation of verification conditions by program specialization}, booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015}, pages = {91--102}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2790449.2790529}, doi = {10.1145/2790449.2790529}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/AngelisFPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/LisitsaNP15, editor = {Alexei Lisitsa and Andrei P. Nemytykh and Alberto Pettorossi}, title = {Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015}, series = {{EPTCS}}, volume = {199}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.199}, doi = {10.4204/EPTCS.199}, timestamp = {Fri, 03 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LisitsaNP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AngelisFPP15, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses}, journal = {CoRR}, volume = {abs/1507.05877}, year = {2015}, url = {http://arxiv.org/abs/1507.05877}, eprinttype = {arXiv}, eprint = {1507.05877}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AngelisFPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AngelisFPP14, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Program verification via iterated specialization}, journal = {Sci. Comput. Program.}, volume = {95}, pages = {149--175}, year = {2014}, url = {https://doi.org/10.1016/j.scico.2014.05.017}, doi = {10.1016/J.SCICO.2014.05.017}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/AngelisFPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/AngelisFPP14, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Alexei Lisitsa and Andrei P. Nemytykh}, title = {Program Verification using Constraint Handling Rules and Array Constraint Generalizations}, booktitle = {{VPT} 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification {CAV} 2014}, series = {EPiC Series in Computing}, volume = {28}, pages = {3--18}, publisher = {EasyChair}, year = {2014}, url = {https://doi.org/10.29007/dkxs}, doi = {10.29007/DKXS}, timestamp = {Fri, 03 Jun 2022 08:18:13 +0200}, biburl = {https://dblp.org/rec/conf/cav/AngelisFPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP14, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato}, title = {Program Verification using Constraint Handling Rules and Array Constraint Generalizations}, booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1195}, pages = {114--131}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1195/long8.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AngelisFPP14, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund}, title = {VeriMAP: {A} Tool for Verifying Programs through Transformations}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8413}, pages = {568--574}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54862-8\_47}, doi = {10.1007/978-3-642-54862-8\_47}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/AngelisFPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/AngelisFPP14, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Kenneth L. McMillan and Xavier Rival}, title = {Verifying Array Programs by Transforming Verification Conditions}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8318}, pages = {182--202}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54013-4\_11}, doi = {10.1007/978-3-642-54013-4\_11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/AngelisFPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FioravantiPPS13, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, title = {Controlling Polyvariance for Specialization-based Verification}, journal = {Fundam. Informaticae}, volume = {124}, number = {4}, pages = {483--502}, year = {2013}, url = {https://doi.org/10.3233/FI-2013-845}, doi = {10.3233/FI-2013-845}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/FioravantiPPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FioravantiPR13, author = {Fabio Fioravanti and Alberto Pettorossi and Gianfranco Rossi}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {124}, number = {4}, pages = {i--ii}, year = {2013}, url = {https://doi.org/10.3233/FI-2013-838}, doi = {10.3233/FI-2013-838}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/FioravantiPR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FioravantiPPS13a, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, title = {Proving Theorems by Program Transformation}, journal = {Fundam. Informaticae}, volume = {127}, number = {1-4}, pages = {115--134}, year = {2013}, url = {https://doi.org/10.3233/FI-2013-899}, doi = {10.3233/FI-2013-899}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/FioravantiPPS13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/FioravantiPPS13, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, title = {Generalization strategies for the verification of infinite state systems}, journal = {Theory Pract. Log. Program.}, volume = {13}, number = {2}, pages = {175--199}, year = {2013}, url = {https://doi.org/10.1017/S1471068411000627}, doi = {10.1017/S1471068411000627}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/FioravantiPPS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/PettorossiP13, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Alexei Lisitsa and Andrei P. Nemytykh}, title = {Program Transformation for Program Verification}, booktitle = {First International Workshop on Verification and Program Transformation, {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013}, series = {EPiC Series in Computing}, volume = {16}, pages = {13--14}, publisher = {EasyChair}, year = {2013}, url = {https://doi.org/10.29007/t9v2}, doi = {10.29007/T9V2}, timestamp = {Fri, 03 Jun 2022 08:18:13 +0200}, biburl = {https://dblp.org/rec/conf/cav/PettorossiP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/AngelisFPP13, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Alexei Lisitsa and Andrei P. Nemytykh}, title = {Verification of Imperative Programs through Transformation of Constraint Logic Programs}, booktitle = {First International Workshop on Verification and Program Transformation, {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013}, series = {EPiC Series in Computing}, volume = {16}, pages = {30--41}, publisher = {EasyChair}, year = {2013}, url = {https://doi.org/10.29007/163x}, doi = {10.29007/163X}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/AngelisFPP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP13, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Domenico Cantone and Marianna Nicolosi Asmundo}, title = {Verification of Imperative Programs by Transforming Constraint Logic Programs}, booktitle = {Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1068}, pages = {83--98}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1068/paper-l06.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/AngelisFPP13, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Elvira Albert and Shin{-}Cheng Mu}, title = {Verifying programs via iterated specialization}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22, 2013}, pages = {43--52}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2426890.2426899}, doi = {10.1145/2426890.2426899}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/AngelisFPP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/AngelisFPP13, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Anindya Banerjee and Olivier Danvy and Kyung{-}Goo Doh and John Hatcliff}, title = {Verification of Imperative Programs by Constraint Logic Program Transformation}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013}, series = {{EPTCS}}, volume = {129}, pages = {186--210}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.129.12}, doi = {10.4204/EPTCS.129.12}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/AngelisFPP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/PettorossiPS12, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, title = {Constraint-based correctness proofs for logic program transformations}, journal = {Formal Aspects Comput.}, volume = {24}, number = {4-6}, pages = {569--594}, year = {2012}, url = {https://doi.org/10.1007/s00165-012-0233-8}, doi = {10.1007/S00165-012-0233-8}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/PettorossiPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FioravantiPPS12, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, title = {Improving Reachability Analysis of Infinite State Systems by Specialization}, journal = {Fundam. Informaticae}, volume = {119}, number = {3-4}, pages = {281--300}, year = {2012}, url = {https://doi.org/10.3233/FI-2012-738}, doi = {10.3233/FI-2012-738}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/FioravantiPPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AngelisPP12, author = {Emanuele {De Angelis} and Alberto Pettorossi and Maurizio Proietti}, title = {Synthesizing Concurrent Programs Using Answer Set Programming}, journal = {Fundam. Informaticae}, volume = {120}, number = {3-4}, pages = {205--229}, year = {2012}, url = {https://doi.org/10.3233/FI-2012-758}, doi = {10.3233/FI-2012-758}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/AngelisPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisFPP12, author = {Emanuele {De Angelis} and Fabio Fioravanti and Maurizio Proietti and Alberto Pettorossi}, editor = {Francesca A. Lisi}, title = {Software Model Checking by Program Specialization}, booktitle = {Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {857}, pages = {89--103}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-857/paper\_f07.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisFPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/AngelisFPP12, author = {Emanuele {De Angelis} and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Elvira Albert}, title = {Specialization with Constrained Generalization for Software Model Checking}, booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7844}, pages = {51--70}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-38197-3\_5}, doi = {10.1007/978-3-642-38197-3\_5}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/AngelisFPP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GavanelliMP11, author = {Marco Gavanelli and Toni Mancini and Alberto Pettorossi}, title = {{RCRA} 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion}, journal = {Fundam. Informaticae}, volume = {107}, number = {2-3}, year = {2011}, url = {https://doi.org/10.3233/FI-2011-396}, doi = {10.3233/FI-2011-396}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/GavanelliMP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ia/FioravantiPPS11, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, title = {Program transformation for development, verification, and synthesis of programs}, journal = {Intelligenza Artificiale}, volume = {5}, number = {1}, pages = {119--125}, year = {2011}, url = {https://doi.org/10.3233/IA-2011-0014}, doi = {10.3233/IA-2011-0014}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ia/FioravantiPPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FioravantiPPS11, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Fabio Fioravanti}, title = {Controlling Polyvariance for Specialization-based Verification}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {179--197}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l11.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FioravantiPPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/AngelisPP11, author = {Emanuele {De Angelis} and Alberto Pettorossi and Maurizio Proietti}, editor = {Fabio Fioravanti}, title = {Synthesizing Concurrent Programs using Answer Set Programming}, booktitle = {Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {810}, pages = {245--259}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-810/paper-l15.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/AngelisPP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FioravantiPPS11, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Germ{\'{a}}n Vidal}, title = {Using Real Relaxations during Program Specialization}, booktitle = {Logic-Based Program Synthesis and Transformation - 21st International Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7225}, pages = {106--122}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-32211-2\_8}, doi = {10.1007/978-3-642-32211-2\_8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/FioravantiPPS11, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Giorgio Delzanno and Igor Potapov}, title = {Improving Reachability Analysis of Infinite State Systems by Specialization}, booktitle = {Reachability Problems - 5th International Workshop, {RP} 2011, Genoa, Italy, September 28-30, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6945}, pages = {165--179}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24288-5\_15}, doi = {10.1007/978-3-642-24288-5\_15}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rp/FioravantiPPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1110-0999, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, title = {Generalization Strategies for the Verification of Infinite State Systems}, journal = {CoRR}, volume = {abs/1110.0999}, year = {2011}, url = {http://arxiv.org/abs/1110.0999}, eprinttype = {arXiv}, eprint = {1110.0999}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1110-0999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GavanelliRP10, author = {Marco Gavanelli and Fabrizio Riguzzi and Alberto Pettorossi}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {105}, number = {1-2}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-355}, doi = {10.3233/FI-2010-355}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/GavanelliRP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/PettorossiSP10, author = {Alberto Pettorossi and Valerio Senni and Maurizio Proietti}, title = {Transformations of logic programs on infinite lists}, journal = {Theory Pract. Log. Program.}, volume = {10}, number = {4-6}, pages = {383--399}, year = {2010}, url = {https://doi.org/10.1017/S1471068410000177}, doi = {10.1017/S1471068410000177}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/PettorossiSP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/FioravantiPPS10, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Wolfgang Faber and Nicola Leone}, title = {Generalization Strategies for the Verification of Infinite State Systems}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper06.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:46 +0100}, biburl = {https://dblp.org/rec/conf/cilc/FioravantiPPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/PettorossiPS10, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Wolfgang Faber and Nicola Leone}, title = {A Transformation Strategy for Verifying Logic Programs on Infinite Lists}, booktitle = {Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {598}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-598/paper05.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cilc/PettorossiPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FioravantiPPS10, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Mar{\'{\i}}a Alpuente}, title = {Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation}, booktitle = {Logic-Based Program Synthesis and Transformation - 20th International Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6564}, pages = {164--183}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-20551-4\_11}, doi = {10.1007/978-3-642-20551-4\_11}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/agp/PettorossiPS10, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Agostino Dovier and Enrico Pontelli}, title = {The Transformational Approach to Program Development}, booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, {GULP}}, series = {Lecture Notes in Computer Science}, volume = {6125}, pages = {112--135}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14309-0\_6}, doi = {10.1007/978-3-642-14309-0\_6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/PettorossiPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1007-4157, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, title = {Transformations of Logic Programs on Infinite Lists}, journal = {CoRR}, volume = {abs/1007.4157}, year = {2010}, url = {http://arxiv.org/abs/1007.4157}, eprinttype = {arXiv}, eprint = {1007.4157}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1007-4157.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/SenniPP09, author = {Valerio Senni and Alberto Pettorossi and Maurizio Proietti}, title = {A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs}, journal = {Fundam. Informaticae}, volume = {96}, number = {3}, pages = {373--393}, year = {2009}, url = {https://doi.org/10.3233/FI-2009-183}, doi = {10.3233/FI-2009-183}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/SenniPP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PettorossiPS09, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Danny De Schreye}, title = {Deciding Full Branching Time Logic by Program Transformation}, booktitle = {Logic-Based Program Synthesis and Transformation, 19th International Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6037}, pages = {5--21}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-12592-8\_2}, doi = {10.1007/978-3-642-12592-8\_2}, timestamp = {Sun, 02 Oct 2022 16:11:18 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/PettorossiPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PettorossiP08, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Totally correct logic program transformations via well-founded annotations}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {193--234}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9024-6}, doi = {10.1007/S10990-008-9024-6}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/PettorossiP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PettorossiP08a, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Totally correct logic program transformations via well-founded annotations}, journal = {High. Order Symb. Comput.}, volume = {21}, number = {1-2}, pages = {235}, year = {2008}, url = {https://doi.org/10.1007/s10990-008-9031-7}, doi = {10.1007/S10990-008-9031-7}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/PettorossiP08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/PettorossiPS08, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Matteo Baldoni and Cristina Baroglio}, title = {Program Transformation for Development, Verification, and Synthesis of Software}, booktitle = {Il Milione (i.e. 2{\^{}}6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {487}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-487/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:22 +0100}, biburl = {https://dblp.org/rec/conf/birthday/PettorossiPS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SenniPP08, author = {Valerio Senni and Alberto Pettorossi and Maurizio Proietti}, editor = {Maria Garcia de la Banda and Enrico Pontelli}, title = {A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs}, booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine, Italy, December 9-13 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5366}, pages = {284--300}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89982-2\_29}, doi = {10.1007/978-3-540-89982-2\_29}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/SenniPP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PettorossiPS07, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Ver{\'{o}}nica Dahl and Ilkka Niemel{\"{a}}}, title = {Automatic Correctness Proofs for Logic Program Transformations}, booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto, Portugal, September 8-13, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4670}, pages = {364--379}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74610-2\_25}, doi = {10.1007/978-3-540-74610-2\_25}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/PettorossiPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/PettorossiP06, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2}, journal = {Fundam. Informaticae}, volume = {69}, number = {1-2}, year = {2006}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-01}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/PettorossiP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PettorossiPS06, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Sandro Etalle and Miroslaw Truszczynski}, title = {Proving Properties of Constraint Logic Programs by Eliminating Existential Variables}, booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4079}, pages = {179--195}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11799573\_15}, doi = {10.1007/11799573\_15}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/PettorossiPS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/PettorossiP05, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Program Transformation: Theoretical Foundations and Basic Techniques. Part 1}, journal = {Fundam. Informaticae}, volume = {66}, number = {4}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-01}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/PettorossiP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyHMP05, author = {Olivier Danvy and Fritz Henglein and Harry G. Mairson and Alberto Pettorossi}, title = {Editorial}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {5--6}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7001-x}, doi = {10.1007/S10990-005-7001-X}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyHMP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/PettorossiPR05, author = {Alberto Pettorossi and Maurizio Proietti and Sophie Renault}, title = {Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism}, journal = {High. Order Symb. Comput.}, volume = {18}, number = {1-2}, pages = {121--210}, year = {2005}, url = {https://doi.org/10.1007/s10990-005-7008-3}, doi = {10.1007/S10990-005-7008-3}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/PettorossiPR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PettorossiPS05, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {Patricia M. Hill}, title = {Transformational Verification of Parameterized Protocols Using Array Formulas}, booktitle = {Logic Based Program Synthesis and Transformation, 15th International Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3901}, pages = {23--43}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11680093\_3}, doi = {10.1007/11680093\_3}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/PettorossiPS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/PettorossiPS05, author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni}, editor = {James R. Cordy and Ralf L{\"{a}}mmel and Andreas Winter}, title = {Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs}, booktitle = {Transformation Techniques in Software Engineering, 17.-22. April 2005}, series = {Dagstuhl Seminar Proceedings}, volume = {05161}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/422}, timestamp = {Thu, 10 Jun 2021 13:02:04 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/PettorossiPS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/PettorossiP04, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Transformations of logic programs with goals as arguments}, journal = {Theory Pract. Log. Program.}, volume = {4}, number = {4}, pages = {495--537}, year = {2004}, url = {https://doi.org/10.1017/S147106840400198X}, doi = {10.1017/S147106840400198X}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/PettorossiP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/msras/FioravantiPP04, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Barbara Dunin{-}Keplicz and Andrzej Jankowski and Andrzej Skowron and Marcin S. Szczuka}, title = {Automatic Proofs of Protocols via Program Transformation}, booktitle = {Monitoring, Security, and Rescue Techniques in Multiagent Systems, {MSRAS} 2004, Plock, Poland, June 7-9, 2004}, series = {Advances in Soft Computing}, volume = {28}, pages = {99--116}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/3-540-32370-8\_7}, doi = {10.1007/3-540-32370-8\_7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/msras/FioravantiPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/PettorossiP04, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Nevin Heintze and Peter Sestoft}, title = {A theory of totally correct logic program transformations}, booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004}, pages = {159--168}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1014007.1014023}, doi = {10.1145/1014007.1014023}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/PettorossiP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/lopstr/FioravantiPP04, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Maurice Bruynooghe and Kung{-}Kiu Lau}, title = {Transformation Rules for Locally Stratified Constraint Logic Programs}, booktitle = {Program Development in Computational Logic: {A} Decade of Research Advances in Logic-Based Program Development}, series = {Lecture Notes in Computer Science}, volume = {3049}, pages = {291--339}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25951-0\_10}, doi = {10.1007/978-3-540-25951-0\_10}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-PL-0402048, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Transformation Rules for Locally Stratified Constraint Logic Programs}, journal = {CoRR}, volume = {cs.PL/0402048}, year = {2004}, url = {http://arxiv.org/abs/cs/0402048}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0402048.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/DanvyHMP03, author = {Olivier Danvy and Fritz Henglein and Harry G. Mairson and Alberto Pettorossi}, title = {Editorial: Special Issue Dedicated to Bob Paige}, journal = {High. Order Symb. Comput.}, volume = {16}, number = {1-2}, pages = {5--6}, year = {2003}, url = {https://doi.org/10.1023/A:1023059701827}, doi = {10.1023/A:1023059701827}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/DanvyHMP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-PL-0307022, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Transformations of Logic Programs with Goals as Arguments}, journal = {CoRR}, volume = {cs.PL/0307022}, year = {2003}, url = {http://arxiv.org/abs/cs/0307022}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0307022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-PL-0311043, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, title = {Combining Logic Programs and Monadic Second Order Logics by Program Transformation}, journal = {CoRR}, volume = {cs.PL/0311043}, year = {2003}, url = {http://arxiv.org/abs/cs/0311043}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0311043.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-PL-0311044, author = {Alberto Pettorossi and Maurizio Proietti and Sophie Renault}, title = {Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism}, journal = {CoRR}, volume = {cs.PL/0311044}, year = {2003}, url = {http://arxiv.org/abs/cs/0311044}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0311044.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/PettorossiP02, author = {Alberto Pettorossi and Maurizio Proietti}, title = {The List Introduction Strategy for the Derivation of Logic Programs}, journal = {Formal Aspects Comput.}, volume = {13}, number = {3-5}, pages = {233--251}, year = {2002}, url = {https://doi.org/10.1007/s001650200011}, doi = {10.1007/S001650200011}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/PettorossiP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/FioravantiPP02, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Juan Jos{\'{e}} Moreno{-}Navarro and Julio Mari{\~{n}}o{-}Carballo}, title = {Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs}, booktitle = {{AGP} 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002}, pages = {241--257}, publisher = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de Madrid}, year = {2002}, url = {https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02\_241.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/FioravantiPP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/PettorossiP02, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Antonis C. Kakas and Fariba Sadri}, title = {Program Derivation = Rules + Strategies}, booktitle = {Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {2407}, pages = {273--309}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45628-7\_12}, doi = {10.1007/3-540-45628-7\_12}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/PettorossiP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FioravantiPP02, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Michael Leuschel}, title = {Combining Logic Programs and Monadic Second Order Logics by Program Transformation}, booktitle = {Logic Based Program Synthesis and Tranformation, 12th International Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2664}, pages = {160--181}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45013-0\_14}, doi = {10.1007/3-540-45013-0\_14}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FioravantiPP01, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Alberto Pettorossi}, title = {Verification of Sets of Infinite State Processes Using Program Transformation}, booktitle = {Logic Based Program Synthesis and Transformation, 11th International Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2372}, pages = {111--128}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45607-4\_7}, doi = {10.1007/3-540-45607-4\_7}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lopstr/2001, editor = {Alberto Pettorossi}, title = {Logic Based Program Synthesis and Transformation, 11th International Workshop, {LOPSTR} 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2372}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45607-4}, doi = {10.1007/3-540-45607-4}, isbn = {3-540-43915-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cl/PettorossiP00, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {John W. Lloyd and Ver{\'{o}}nica Dahl and Ulrich Furbach and Manfred Kerber and Kung{-}Kiu Lau and Catuscia Palamidessi and Lu{\'{\i}}s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey}, title = {Perfect Model Checking via Unfold/Fold Transformations}, booktitle = {Computational Logic - {CL} 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1861}, pages = {613--628}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44957-4\_41}, doi = {10.1007/3-540-44957-4\_41}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/cl/PettorossiP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FioravantiPP00, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Kung{-}Kiu Lau}, title = {Automated strategies for specializing constraint logic programs}, booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July 24-28, 2000}, series = {Technical Report}, volume = {{UMCS-00-6-1}}, publisher = {Department of Computer Science, University of Manchester}, year = {2000}, url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-fioravanti.ps.Z}, timestamp = {Tue, 11 Feb 2014 17:45:37 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/FioravantiPP00a, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Kung{-}Kiu Lau}, title = {Automated Strategies for Specializing Constraint Logic Programs}, booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2042}, pages = {125--146}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45142-0\_8}, doi = {10.1007/3-540-45142-0\_8}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/FioravantiPP00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/PettorossiP99, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs}, journal = {J. Log. Program.}, volume = {41}, number = {2-3}, pages = {197--230}, year = {1999}, url = {https://doi.org/10.1016/S0743-1066(99)00029-1}, doi = {10.1016/S0743-1066(99)00029-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/PettorossiP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ProiettiP99, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Danny De Schreye}, title = {Transforming Inductive Definitions}, booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}, pages = {486--499}, publisher = {{MIT} Press}, year = {1999}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ProiettiP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PettorossiP99, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Annalisa Bossi}, title = {Transformation Rules for Logic Programs with Goals as Arguments}, booktitle = {Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1817}, pages = {176--195}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10720327\_11}, doi = {10.1007/10720327\_11}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/PettorossiP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/FioravantiPP99, author = {Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti}, editor = {Michael Leuschel}, title = {Rules and Strategies for Contextual Specialization of Constraint Logic Programs}, booktitle = {Workshop on Optimization and Implementation of Declarative Programs, {WOID} 1999, in connection with the International Conference on Logic Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 2-3, 1999}, series = {Electronic Notes in Theoretical Computer Science}, volume = {30}, number = {2}, pages = {129--144}, publisher = {Elsevier}, year = {1999}, url = {https://doi.org/10.1016/S1571-0661(05)80634-6}, doi = {10.1016/S1571-0661(05)80634-6}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FioravantiPP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/PettorossiP98, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Program Specialization via Algorithmic Unfold/Fold Transformations}, journal = {{ACM} Comput. Surv.}, volume = {30}, number = {3es}, pages = {6}, year = {1998}, url = {https://doi.org/10.1145/289121.289127}, doi = {10.1145/289121.289127}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/PettorossiP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigplan/PettorossiP97, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Future Directions in Program Transformation}, journal = {{ACM} {SIGPLAN} Notices}, volume = {32}, number = {1}, pages = {99--102}, year = {1997}, url = {https://doi.org/10.1145/251595.251610}, doi = {10.1145/251595.251610}, timestamp = {Tue, 26 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigplan/PettorossiP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alc/PettorossiP97, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Richard S. Bird and Lambert G. L. T. Meertens}, title = {Program derivation via list introduction}, booktitle = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France}, series = {{IFIP} Conference Proceedings}, volume = {95}, pages = {296--323}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Thu, 03 Jan 2002 11:52:45 +0100}, biburl = {https://dblp.org/rec/conf/alc/PettorossiP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/PettorossiPR97, author = {Alberto Pettorossi and Maurizio Proietti and Sophie Renault}, editor = {Peter Lee and Fritz Henglein and Neil D. Jones}, title = {Reducing Nondeterminism while Specializing Logic Programs}, booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997}, pages = {414--427}, publisher = {{ACM} Press}, year = {1997}, url = {https://doi.org/10.1145/263699.263759}, doi = {10.1145/263699.263759}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/PettorossiPR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/PettorossiP96, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Rules and Strategies for Transforming Functional and Logic Programs}, journal = {{ACM} Comput. Surv.}, volume = {28}, number = {2}, pages = {360--414}, year = {1996}, url = {https://doi.org/10.1145/234528.234529}, doi = {10.1145/234528.234529}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/PettorossiP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/PettorossiP96a, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Future Directions in Program Transformation}, journal = {{ACM} Comput. Surv.}, volume = {28}, number = {4es}, pages = {171}, year = {1996}, url = {https://doi.org/10.1145/242224.242445}, doi = {10.1145/242224.242445}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/PettorossiP96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ker/PettorossiP96, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Developing correct and efficient logic programs by transformation}, journal = {Knowl. Eng. Rev.}, volume = {11}, number = {4}, pages = {347--360}, year = {1996}, url = {https://doi.org/10.1017/S0269888900008031}, doi = {10.1017/S0269888900008031}, timestamp = {Thu, 27 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ker/PettorossiP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/PettorossiP96, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Olivier Danvy and Robert Gl{\"{u}}ck and Peter Thiemann}, title = {A Comparative Revisitation of Some Program Transformation Techniques}, booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1110}, pages = {355--385}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61580-6\_18}, doi = {10.1007/3-540-61580-6\_18}, timestamp = {Mon, 23 Mar 2020 12:22:51 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/PettorossiP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/PettorossiP96a, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Olivier Danvy and Robert Gl{\"{u}}ck and Peter Thiemann}, title = {A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties}, booktitle = {Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1110}, pages = {386--408}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61580-6\_19}, doi = {10.1007/3-540-61580-6\_19}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/PettorossiP96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PettorossiPR96, author = {Alberto Pettorossi and Maurizio Proietti and Sophie Renault}, editor = {Michael J. Maher}, title = {How to Extend Partial Deduction to Derive the {KMP} String-Matching Algorithm from a Naive Specification (Poster Abstract)}, booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996}, pages = {539}, publisher = {{MIT} Press}, year = {1996}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278893}, timestamp = {Mon, 09 Aug 2021 17:01:45 +0200}, biburl = {https://dblp.org/rec/conf/iclp/PettorossiPR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PettorossiPR96, author = {Alberto Pettorossi and Maurizio Proietti and Sophie Renault}, editor = {John P. Gallagher}, title = {Enhancing Partial Deduction via Unfold/Fold Rules}, booktitle = {Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1207}, pages = {146--168}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-62718-9\_9}, doi = {10.1007/3-540-62718-9\_9}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/PettorossiPR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ProiettiP95, author = {Maurizio Proietti and Alberto Pettorossi}, title = {Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs}, journal = {Theor. Comput. Sci.}, volume = {142}, number = {1}, pages = {89--124}, year = {1995}, url = {https://doi.org/10.1016/0304-3975(94)00227-A}, doi = {10.1016/0304-3975(94)00227-A}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ProiettiP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/LauOPP95, author = {Kung{-}Kiu Lau and Mario Ornaghi and Alberto Pettorossi and Maurizio Proietti}, editor = {John W. Lloyd}, title = {Correctness of Logic Program Transformations Based on Existential Termination}, booktitle = {Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995}, pages = {480--494}, publisher = {{MIT} Press}, year = {1995}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300031}, timestamp = {Wed, 11 Aug 2021 17:02:32 +0200}, biburl = {https://dblp.org/rec/conf/slp/LauOPP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/PettorossiP94, author = {Alberto Pettorossi and Maurizio Proietti}, title = {Transformation of Logic Programs: Foundations and Techniques}, journal = {J. Log. Program.}, volume = {19/20}, pages = {261--320}, year = {1994}, url = {https://doi.org/10.1016/0743-1066(94)90028-0}, doi = {10.1016/0743-1066(94)90028-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/PettorossiP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/ProiettiP94, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Mar{\'{\i}}a Alpuente and Roberto Barbuti and Isidro Ramos}, title = {Total correctness of a goal replacement rule based on the unfold/fold proof method}, booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola, Spain, September 19-22, 1994, Volume 1}, pages = {203--217}, year = {1994}, timestamp = {Wed, 01 Dec 2004 15:33:38 +0100}, biburl = {https://dblp.org/rec/conf/agp/ProiettiP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ProiettiP94, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Pascal Van Hentenryck}, title = {Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables}, booktitle = {Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994}, pages = {714--729}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ProiettiP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/ProiettiP93, author = {Maurizio Proietti and Alberto Pettorossi}, title = {An Abstract Strategy for Transforming Logic Programs}, journal = {Fundam. Informaticae}, volume = {18}, pages = {267--286}, year = {1993}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/ProiettiP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/ProiettiP93, author = {Maurizio Proietti and Alberto Pettorossi}, title = {The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction}, journal = {J. Log. Program.}, volume = {16}, number = {1}, pages = {123--161}, year = {1993}, url = {https://doi.org/10.1016/0743-1066(93)90025-C}, doi = {10.1016/0743-1066(93)90025-C}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/ProiettiP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/ProiettiP93, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Domenico Sacc{\`{a}}}, title = {Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables}, booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993}, pages = {601--616}, year = {1993}, timestamp = {Thu, 02 Dec 2004 11:00:44 +0100}, biburl = {https://dblp.org/rec/conf/agp/ProiettiP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip2-1/PettorossiP93, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Bernhard M{\"{o}}ller and Helmuth Partsch and Stephen A. Schuman}, title = {Rules and Strategies for Program Transformation}, booktitle = {Formal Program Development - {IFIP} {TC2/WG} 2.1 State-of-the-Art Report}, series = {Lecture Notes in Computer Science}, volume = {755}, pages = {263--304}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57499-9\_23}, doi = {10.1007/3-540-57499-9\_23}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/ifip2-1/PettorossiP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ProiettiP93, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Yves Deville}, title = {Synthesis of Programs from Unfold/Fold Proofs}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993}, series = {Workshops in Computing}, pages = {141--158}, publisher = {Springer}, year = {1993}, timestamp = {Mon, 10 Feb 2014 17:44:03 +0100}, biburl = {https://dblp.org/rec/conf/lopstr/ProiettiP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ProiettiP92, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Kung{-}Kiu Lau and Tim Clement}, title = {Best-first Strategies for Incremental Transformations of Logic Programs}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992}, series = {Workshops in Computing}, pages = {82--98}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3560-9\_7}, doi = {10.1007/978-1-4471-3560-9\_7}, timestamp = {Fri, 21 Jun 2019 13:08:59 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/ProiettiP92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/meta/1992, editor = {Alberto Pettorossi}, title = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {649}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-56282-6}, doi = {10.1007/3-540-56282-6}, isbn = {3-540-56282-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/meta/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/ProiettiP91, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Timothy Paul Clement and Kung{-}Kiu Lau}, title = {An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract)}, booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR} 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991}, series = {Workshops in Computing}, pages = {126--128}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/978-1-4471-3494-7\_10}, doi = {10.1007/978-1-4471-3494-7\_10}, timestamp = {Fri, 21 Jun 2019 13:08:59 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/ProiettiP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/ProiettiP91, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Charles Consel and Olivier Danvy}, title = {Semantics Preserving Transformation Rules for Prolog}, booktitle = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991}, pages = {274--284}, publisher = {{ACM}}, year = {1991}, url = {https://doi.org/10.1145/115865.115895}, doi = {10.1145/115865.115895}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/ProiettiP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/ProiettiP91, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Jan Maluszynski and Martin Wirsing}, title = {Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {347--358}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_111}, doi = {10.1007/3-540-54444-5\_111}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/plilp/ProiettiP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/ProiettiP90, author = {Maurizio Proietti and Alberto Pettorossi}, editor = {Neil D. Jones}, title = {Synthesis of Eureka Predicates for Developing Logic Programs}, booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {432}, pages = {306--325}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52592-0\_71}, doi = {10.1007/3-540-52592-0\_71}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/ProiettiP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/litp/KasangianLP90, author = {Stefano Kasangian and Anna Labella and Alberto Pettorossi}, editor = {Ir{\`{e}}ne Guessarian}, title = {Observers, Experiments and Agents: a Comprehensive Approach to Parallelism}, booktitle = {Semantics of Systems of Concurrent Processes, {LITP} Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {469}, pages = {375--406}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-53479-2\_16}, doi = {10.1007/3-540-53479-2\_16}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/litp/KasangianLP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/PettorossiS89, author = {Alberto Pettorossi and Andrzej Skowron}, title = {The Power of the Lambda Abstraction Strategy for Program Derivation}, journal = {J. Inf. Process. Cybern.}, volume = {25}, number = {5/6}, pages = {263--281}, year = {1989}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/PettorossiS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PettorossiP89, author = {Alberto Pettorossi and Maurizio Proietti}, editor = {Giorgio Levi and Maurizio Martelli}, title = {Decidability Results and Characterization of Strategies for the Development of Logic Programs}, booktitle = {Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989}, pages = {539--553}, publisher = {{MIT} Press}, year = {1989}, timestamp = {Fri, 29 Nov 2013 14:57:24 +0100}, biburl = {https://dblp.org/rec/conf/iclp/PettorossiP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Pettorossi87, author = {Alberto Pettorossi}, title = {Derivation of Efficient Programs for Computing Sequences of Actions}, journal = {Theor. Comput. Sci.}, volume = {53}, pages = {151--167}, year = {1987}, url = {https://doi.org/10.1016/0304-3975(87)90030-2}, doi = {10.1016/0304-3975(87)90030-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Pettorossi87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctcs/KasangianLP87, author = {Stefano Kasangian and Anna Labella and Alberto Pettorossi}, editor = {David H. Pitt and Axel Poign{\'{e}} and David E. Rydeheard}, title = {Enriched Categories for Local and Interaction Calculi}, booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {283}, pages = {57--70}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18508-9\_20}, doi = {10.1007/3-540-18508-9\_20}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/ctcs/KasangianLP87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Pettorossi87, author = {Alberto Pettorossi}, editor = {Kesav V. Nori}, title = {Program Development Using Lambda Abstraction}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {287}, pages = {420--434}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18625-5\_65}, doi = {10.1007/3-540-18625-5\_65}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Pettorossi87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismis/PettorossiRZ87, author = {Alberto Pettorossi and Zbigniew W. Ras and Maria Zemankova}, editor = {Zbigniew W. Ras and Maria Zemankova}, title = {On Learning with Imperfect Teachers}, booktitle = {Methodologies for Intelligent Systems, Proceedings of the Second International Symposium, Charlotte, North Carolina, USA, October 14-17, 1987}, pages = {256--263}, publisher = {North-Holland/Elsevier}, year = {1987}, timestamp = {Mon, 22 May 2017 09:57:27 +0200}, biburl = {https://dblp.org/rec/conf/ismis/PettorossiRZ87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/PettorossiS87, author = {Alberto Pettorossi and Andrzej Skowron}, editor = {Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari}, title = {Higher Order Generalization in Program Derivation}, booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development {II} and Colloquium on Functional and Logic Programming and Specifications {(CFLP)}}, series = {Lecture Notes in Computer Science}, volume = {250}, pages = {182--196}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0014981}, doi = {10.1007/BFB0014981}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/PettorossiS87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/SkowronP86, author = {Andrzej Skowron and Alberto Pettorossi}, editor = {Tom Kehler}, title = {Factual Knowledge For Developing Concurrent Programs}, booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science}, pages = {26--31}, publisher = {Morgan Kaufmann}, year = {1986}, url = {http://www.aaai.org/Library/AAAI/1986/aaai86-005.php}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/SkowronP86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/LabellaP86, author = {Anna Labella and Alberto Pettorossi}, editor = {Marisa Venturini Zilli}, title = {Universal Models in Categories for Process Synchronization}, booktitle = {Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {280}, pages = {183--198}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18419-8\_15}, doi = {10.1007/3-540-18419-8\_15}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/LabellaP86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/Pettorossi86, author = {Alberto Pettorossi}, editor = {Paul Franchi{-}Zannettacci}, title = {Transformation Strategies for Deriving On Line Programs}, booktitle = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {214}, pages = {127--141}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/BFb0022664}, doi = {10.1007/BFB0022664}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/caap/Pettorossi86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpp/PettorossiS86, author = {Alberto Pettorossi and Andrzej Skowron}, title = {Using Facts for Improving the Parallel Execution of Functional Programs}, booktitle = {International Conference on Parallel Processing, ICPP'86, University Park, PA, USA, August 1986}, pages = {616--623}, publisher = {{IEEE} Computer Society Press}, year = {1986}, timestamp = {Mon, 28 Jul 2014 17:06:02 +0200}, biburl = {https://dblp.org/rec/conf/icpp/PettorossiS86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bit/Pettorossi85, author = {Alberto Pettorossi}, title = {Towers of Hanoi Problems: Deriving Iterative Solutions by Program Transformations}, journal = {{BIT}}, volume = {25}, number = {2}, pages = {327--334}, year = {1985}, url = {https://doi.org/10.1007/BF01934378}, doi = {10.1007/BF01934378}, timestamp = {Tue, 22 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bit/Pettorossi85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/Pettorossi85, author = {Alberto Pettorossi}, title = {A Note on Cohen's "Eliminating Redundant Recursive Calls"}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {7}, number = {4}, pages = {680--685}, year = {1985}, url = {https://doi.org/10.1145/4472.215006}, doi = {10.1145/4472.215006}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/Pettorossi85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ctcs/LabellaP85, author = {Anna Labella and Alberto Pettorossi}, editor = {David H. Pitt and Samson Abramsky and Axel Poign{\'{e}} and David E. Rydeheard}, title = {Categorical Models of Process Cooperation}, booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {240}, pages = {282--298}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-17162-2\_129}, doi = {10.1007/3-540-17162-2\_129}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/ctcs/LabellaP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Pettorossi84, author = {Alberto Pettorossi}, title = {Methodologies for transformations and memoing in applicative languages}, school = {University of Edinburgh, {UK}}, year = {1984}, url = {https://hdl.handle.net/1842/15643}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Pettorossi84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/PettorossiS84, author = {Alberto Pettorossi and Andrzej Skowron}, title = {Higher-order communications for concurrent programming}, journal = {Parallel Comput.}, volume = {1}, number = {3-4}, pages = {331--336}, year = {1984}, url = {https://doi.org/10.1016/S0167-8191(84)90309-0}, doi = {10.1016/S0167-8191(84)90309-0}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/PettorossiS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfp/Pettorossi84, author = {Alberto Pettorossi}, editor = {Robert S. Boyer and Edward S. Schneider and Guy L. Steele Jr.}, title = {A Powerful Strategy for Deriving Efficient Programs by Transformation}, booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984}, pages = {273--281}, publisher = {{ACM}}, year = {1984}, url = {https://doi.org/10.1145/800055.802044}, doi = {10.1145/800055.802044}, timestamp = {Fri, 06 Aug 2021 15:08:55 +0200}, biburl = {https://dblp.org/rec/conf/lfp/Pettorossi84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sct/PettorossiS84, author = {Alberto Pettorossi and Andrzej Skowron}, editor = {Andrzej Skowron}, title = {A methodology for improving parallel programs by adding communications}, booktitle = {Computation Theory - Fifth Symposium, Zabor{\'{o}}w, Poland, December 3-8, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {208}, pages = {228--250}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-16066-3\_20}, doi = {10.1007/3-540-16066-3\_20}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/sct/PettorossiS84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/PettorossiB82, author = {Alberto Pettorossi and Rod M. Burstall}, title = {Deriving very Efficient Algorithms for Evaluating Linear Recurrence Relations Using the Program Transformation Technique}, journal = {Acta Informatica}, volume = {18}, pages = {181--206}, year = {1982}, url = {https://doi.org/10.1007/BF00264438}, doi = {10.1007/BF00264438}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/PettorossiB82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/PettorossiS82, author = {Alberto Pettorossi and Andrzej Skowron}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Communicating agents for applicative concurrent programming}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {305--322}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_20}, doi = {10.1007/3-540-11494-7\_20}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/programm/PettorossiS82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/Pettorossi81, author = {Alberto Pettorossi}, title = {A property which guarantees termination in weak combinatory logic and subtree replacement systems}, journal = {Notre Dame J. Formal Log.}, volume = {22}, number = {4}, pages = {344--356}, year = {1981}, url = {https://doi.org/10.1305/ndjfl/1093883514}, doi = {10.1305/NDJFL/1093883514}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/Pettorossi81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/conpar/Pettorossi81, author = {Alberto Pettorossi}, editor = {Wolfgang H{\"{a}}ndler}, title = {A transformational approach for developing parallel programs}, booktitle = {{CONPAR} 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, N{\"{u}}rnberg, Germany, June 10-12, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {111}, pages = {245--258}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/BFb0105122}, doi = {10.1007/BFB0105122}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/conpar/Pettorossi81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Pettorossi81, author = {Alberto Pettorossi}, editor = {Shimon Even and Oded Kariv}, title = {Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems}, booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {115}, pages = {432--447}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10843-2\_35}, doi = {10.1007/3-540-10843-2\_35}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Pettorossi81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfpc/Pettorossi81, author = {Alberto Pettorossi}, editor = {Josep D{\'{\i}}az and Isidro Ramos}, title = {An Approach to Communications and Parallelism in Applicative Languages}, booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {107}, pages = {432--446}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10699-5\_117}, doi = {10.1007/3-540-10699-5\_117}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/icfpc/Pettorossi81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/Pettorossi80, author = {Alberto Pettorossi}, title = {Derivation of an O(k{\({^2}\)} log n) Algorithm for Computing Order-k Fibonacci Numbers From the O(k{\({^3}\)} log n) Matrix Multiplication Method}, journal = {Inf. Process. Lett.}, volume = {11}, number = {4/5}, pages = {172--179}, year = {1980}, url = {https://doi.org/10.1016/0020-0190(80)90045-9}, doi = {10.1016/0020-0190(80)90045-9}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/Pettorossi80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/Pettorossi80, author = {Alberto Pettorossi}, title = {Synthesis of subtree rewriting systems behaviour by solving equations}, booktitle = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 f{\'{e}}vier 1980}, pages = {63--74}, publisher = {Universit{\'{e}} de Lille 1}, year = {1980}, timestamp = {Wed, 03 Sep 2008 14:34:15 +0200}, biburl = {https://dblp.org/rec/conf/caap/Pettorossi80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lop/Pettorossi80, author = {Alberto Pettorossi}, editor = {Andrzej Salwicki}, title = {Towards a theory of parallelism and communications for increasing efficiency in applicative languages}, booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland, August 23-29, 1980}, series = {Lecture Notes in Computer Science}, volume = {148}, pages = {224--249}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/3-540-11981-7\_16}, doi = {10.1007/3-540-11981-7\_16}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/lop/Pettorossi80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Pettorossi79, author = {Alberto Pettorossi}, editor = {Lothar Budach}, title = {On the definition of hierarchies of infinite sequential computations}, booktitle = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979}, pages = {335--341}, publisher = {Akademie-Verlag, Berlin}, year = {1979}, timestamp = {Mon, 29 Jul 2019 11:58:23 +0200}, biburl = {https://dblp.org/rec/conf/fct/Pettorossi79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Pettorossi78, author = {Alberto Pettorossi}, editor = {J{\'{o}}zef Winkowski}, title = {Improving Memory Utilization in Transforming Recursive Programs (Extended Abstract)}, booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {416--425}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/3-540-08921-7\_89}, doi = {10.1007/3-540-08921-7\_89}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Pettorossi78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lambda/BatiniP75, author = {Carlo Batini and Alberto Pettorossi}, editor = {Corrado B{\"{o}}hm}, title = {On subrecursiveness in weak combinatory logic}, booktitle = {Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975}, series = {Lecture Notes in Computer Science}, volume = {37}, pages = {297--311}, publisher = {Springer}, year = {1975}, url = {https://doi.org/10.1007/BFb0029533}, doi = {10.1007/BFB0029533}, timestamp = {Fri, 17 Jul 2020 16:12:45 +0200}, biburl = {https://dblp.org/rec/conf/lambda/BatiniP75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.