De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio Analysis and transformation of constrained Horn clauses for program verification. (English) Zbl 07776353 Theory Pract. Log. Program. 22, No. 6, 974-1042 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Theory Pract. Log. Program. 22, No. 6, 974--1042 (2022; Zbl 07776353) Full Text: DOI arXiv OA License
De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto Verifying catamorphism-based contracts using constrained Horn clauses. (English) Zbl 07595325 Theory Pract. Log. Program. 22, No. 4, 555-572 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Theory Pract. Log. Program. 22, No. 4, 555--572 (2022; Zbl 07595325) Full Text: DOI arXiv
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Proving properties of sorting programs: a case study in Horn clause verification. (English) Zbl 1483.68189 De Angelis, Emanuele (ed.) et al., Proceedings of the sixth workshop on Horn clauses for verification and synthesis, HCVS 2019, and the third workshop on program equivalence and relational reasoning, PERR 2019, Prague, Czech Republic, April 6–7, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 296, 48-75 (2019). MSC: 68Q60 03B70 68N18 68N30 68P10 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 296, 48--75 (2019; Zbl 1483.68189) Full Text: arXiv Link
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Erratum to: “Solving Horn clauses on inductive data types without induction”. (English) Zbl 1472.68086 Theory Pract. Log. Program. 19, No. 4, 629 (2019). MSC: 68Q60 03B70 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Theory Pract. Log. Program. 19, No. 4, 629 (2019; Zbl 1472.68086) Full Text: DOI
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Solving Horn clauses on inductive data types without induction. (English) Zbl 1451.68172 Theory Pract. Log. Program. 18, No. 3-4, 452-469 (2018); erratum ibid. 19, No. 4, 629 (2019). MSC: 68Q60 03B70 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Theory Pract. Log. Program. 18, No. 3--4, 452--469 (2018; Zbl 1451.68172) Full Text: DOI arXiv
Fiorentini, Camillo (ed.); Momigliano, Alberto (ed.); Pettorossi, Alberto (ed.) Special issue on the 31st Italian Conference on Computational Logic: CILC 2016. Preface. (English) Zbl 1405.00040 Fundam. Inform. 161, No. 1-2, v-vii (2018). MSC: 00B25 68-06 68N17 68T27 PDFBibTeX XMLCite \textit{C. Fiorentini} (ed.) et al., Fundam. Inform. 161, No. 1--2, v-vii (2018; Zbl 1405.00040) Full Text: DOI
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Predicate pairing for program verification. (English) Zbl 1478.68153 Theory Pract. Log. Program. 18, No. 2, 126-166 (2018). MSC: 68Q60 03B70 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Theory Pract. Log. Program. 18, No. 2, 126--166 (2018; Zbl 1478.68153) Full Text: DOI arXiv
Maratea, Marco (ed.); Mascardi, Viviana (ed.); Ancona, Davide (ed.); Pettorossi, Alberto (ed.) Special issue on the 30th Italian conference on computational logic: CILC 2015. Preface. (English) Zbl 1392.00065 Fundam. Inform. 159, No. 1-2, v-vi (2018). MSC: 00B25 68-06 68N17 68T27 PDFBibTeX XMLCite \textit{M. Maratea} (ed.) et al., Fundam. Inform. 159, No. 1--2, v-vi (2018; Zbl 1392.00065) Full Text: DOI
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Program verification using constraint handling rules and array constraint generalizations. (English) Zbl 1374.68113 Fundam. Inform. 150, No. 1, 73-117 (2017). MSC: 68N30 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Fundam. Inform. 150, No. 1, 73--117 (2017; Zbl 1374.68113) Full Text: DOI
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Proving correctness of imperative programs by linearizing constrained Horn clauses. (English) Zbl 1379.68093 Theory Pract. Log. Program. 15, No. 4-5, 635-650 (2015). MSC: 68N30 68N17 68Q60 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Theory Pract. Log. Program. 15, No. 4--5, 635--650 (2015; Zbl 1379.68093) Full Text: DOI arXiv
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio A rule-based verification strategy for array manipulating programs. (English) Zbl 1348.68131 Fundam. Inform. 140, No. 3-4, 329-355 (2015). MSC: 68Q60 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Fundam. Inform. 140, No. 3--4, 329--355 (2015; Zbl 1348.68131) Full Text: DOI
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Verification of imperative programs by constraint logic program transformation. (English) Zbl 1464.68074 Banerjee, Anindya (ed.) et al., Semantics, abstract interpretation, and reasoning about programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, September 19–20, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 186-210 (2013). MSC: 68N30 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 186--210 (2013; Zbl 1464.68074) Full Text: arXiv Link
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Proving theorems by program transformation. (English) Zbl 1315.03019 Fundam. Inform. 127, No. 1-4, 115-134 (2013). MSC: 03B35 03B44 68N17 68N30 68T15 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Fundam. Inform. 127, No. 1--4, 115--134 (2013; Zbl 1315.03019) Full Text: DOI
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Specialization with constrained generalization for software model checking. (English) Zbl 1394.68072 Albert, Elvira (ed.), Logic-based program synthesis and transformation. 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18–20, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-38196-6/pbk). Lecture Notes in Computer Science 7844, 51-70 (2013). MSC: 68N30 68N17 68Q60 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Lect. Notes Comput. Sci. 7844, 51--70 (2013; Zbl 1394.68072) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Controlling polyvariance for specialization-based verification. (English) Zbl 1268.68110 Fundam. Inform. 124, No. 4, 483-502 (2013). MSC: 68Q60 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Fundam. Inform. 124, No. 4, 483--502 (2013; Zbl 1268.68110) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Generalization strategies for the verification of infinite state systems. (English) Zbl 1267.68080 Theory Pract. Log. Program. 13, No. 2, 175-199 (2013). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Theory Pract. Log. Program. 13, No. 2, 175--199 (2013; Zbl 1267.68080) Full Text: DOI arXiv
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Constraint-based correctness proofs for logic program transformations. (English) Zbl 1259.68036 Formal Asp. Comput. 24, No. 4-6, 569-594 (2012). MSC: 68N30 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} et al., Formal Asp. Comput. 24, No. 4--6, 569--594 (2012; Zbl 1259.68036) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Using real relaxations during program specialization. (English) Zbl 1377.68062 Vidal, Germán (ed.), Logic-based program synthesis and transformation. 21st international symposium, LOPSTR 2011. Odense, Denmark, July 18–20, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32210-5/pbk). Lecture Notes in Computer Science 7225, 106-122 (2012). MSC: 68N17 68N30 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Lect. Notes Comput. Sci. 7225, 106--122 (2012; Zbl 1377.68062) Full Text: DOI
De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio Synthesizing concurrent programs using answer set programming. (English) Zbl 1256.68035 Fundam. Inform. 120, No. 3-4, 205-229 (2012). MSC: 68N19 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Fundam. Inform. 120, No. 3--4, 205--229 (2012; Zbl 1256.68035) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Improving reachability analysis of infinite state systems by specialization. (English) Zbl 1279.68209 Fundam. Inform. 119, No. 3-4, 281-300 (2012). MSC: 68Q60 68N17 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Fundam. Inform. 119, No. 3--4, 281--300 (2012; Zbl 1279.68209) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Program specialization for verifying infinite state systems: an experimental evaluation. (English) Zbl 1326.68184 Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 164-183 (2011). MSC: 68Q60 68N17 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Lect. Notes Comput. Sci. 6564, 164--183 (2011; Zbl 1326.68184) Full Text: DOI
Gavanelli, Marco (ed.); Riguzzi, Fabrizio (ed.); Pettorossi, Alberto (ed.) Special issue: Selected papers based on the presentations at the 24th Italian conference on computational logic (Convegno Italiano di logica computazionale, CILC ’09, Ferrara, Italy, June 25–26, 2009. (English) Zbl 1210.03007 Fundam. Inform. 105, No. 1-2, 210 p. (2010). MSC: 03-06 03B70 68N17 00B25 PDFBibTeX XML
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Transformations of logic programs on infinite lists. (English) Zbl 1209.68096 Theory Pract. Log. Program. 10, No. 4-6, 383-399 (2010). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{A. Pettorossi} et al., Theory Pract. Log. Program. 10, No. 4--6, 383--399 (2010; Zbl 1209.68096) Full Text: DOI arXiv
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio The transformational approach to program development. (English) Zbl 1285.68035 Dovier, Agostino (ed.) et al., A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Berlin: Springer (ISBN 978-3-642-14308-3/pbk). Lecture Notes in Computer Science 6125, 112-135 (2010). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} et al., Lect. Notes Comput. Sci. 6125, 112--135 (2010; Zbl 1285.68035) Full Text: DOI
Senni, Valerio; Pettorossi, Alberto; Proietti, Maurizio A folding rule for eliminating existential variables from constraint logic programs. (English) Zbl 1207.68120 Fundam. Inform. 96, No. 3, 373-393 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{V. Senni} et al., Fundam. Inform. 96, No. 3, 373--393 (2009; Zbl 1207.68120) Full Text: DOI
Formisano, Andrea (ed.); Pettorossi, Alberto (ed.) Special issue: Advances in computational logic (CILC 08). Revised, expanded and selected papers based on the presentations at the 23rd Italian congress on computational logic, Perugia, Italy, July 2008. (English) Zbl 1194.68030 Fundam. Inform. 96, No. 3, ii, 227-393 (2009). MSC: 68-06 03B70 68N17 00B25 PDFBibTeX XML
Pettorossi, Alberto; Proietti, Maurizio Totally correct logic program transformations via well-founded annotations. (English) Zbl 1194.68095 High.-Order Symb. Comput. 21, No. 1-2, 193-234 (2008); erratum ibid. 21, No. 1-2, 235 (2008). MSC: 68N17 68N99 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, High.-Order Symb. Comput. 21, No. 1--2, 193--234 (2008; Zbl 1194.68095) Full Text: DOI Link
Senni, Valerio; Pettorossi, Alberto; Proietti, Maurizio A folding algorithm for eliminating existential variables from constraint logic programs. (English) Zbl 1185.68184 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 284-300 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{V. Senni} et al., Lect. Notes Comput. Sci. 5366, 284--300 (2008; Zbl 1185.68184) Full Text: DOI Link
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Automatic correctness proofs for logic program transformations. (English) Zbl 1213.68207 Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 364-379 (2007). MSC: 68N30 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} et al., Lect. Notes Comput. Sci. 4670, 364--379 (2007; Zbl 1213.68207) Full Text: DOI Link
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Proving properties of constraint logic programs by eliminating existential variables. (English) Zbl 1131.68389 Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 179-195 (2006). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} et al., Lect. Notes Comput. Sci. 4079, 179--195 (2006; Zbl 1131.68389) Full Text: DOI
Pettorossi, Alberto; Proietti, Maurizio; Renault, Sophie Derivation of efficient logic programs by specialization and reduction of nondeterminism. (English) Zbl 1103.68034 High.-Order Symb. Comput. 18, No. 1-2, 121-210 (2005). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} et al., High.-Order Symb. Comput. 18, No. 1--2, 121--210 (2005; Zbl 1103.68034) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Transformation rules for locally stratified constraint logic programs. (English) Zbl 1080.68010 Bruynooghe, Maurice (ed.) et al., Program development in computational logic. A decade of research advances in logic-based program development. Berlin: Springer (ISBN 3-540-22152-2/pbk). Lecture Notes in Computer Science 3049, 291-339 (2004). MSC: 68N17 68N30 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Lect. Notes Comput. Sci. 3049, 291--339 (2004; Zbl 1080.68010) Full Text: DOI
Pettorossi, Alberto; Proietti, Maurizio Transformations of logic programs with goals as arguments. (English) Zbl 1085.68022 Theory Pract. Log. Program. 4, No. 4, 495-537 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, Theory Pract. Log. Program. 4, No. 4, 495--537 (2004; Zbl 1085.68022) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Combining logic programs and monadic second order logics by program transformation. (English) Zbl 1278.68049 Leuschel, Michael (ed.), Logic based program synthesis and transformation. 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-40438-4/pbk). Lecture Notes in Computer Science 2664, 160-181 (2003). MSC: 68N17 68N30 68Q60 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Lect. Notes Comput. Sci. 2664, 160--181 (2003; Zbl 1278.68049) Full Text: DOI
Pettorossi, Alberto; Proietti, Maurizio Program derivation \(=\) rules \(+\) strategies. (English) Zbl 1012.68033 Kakas, Antonis C. (ed.) et al., Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1. Berlin: Springer. Lect. Notes Comput. Sci. 2407, 273-309 (2002). MSC: 68N01 68N30 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, Lect. Notes Comput. Sci. 2407, 273--309 (2002; Zbl 1012.68033) Full Text: Link
Pettorossi, Alberto; Proietti, Maurizio The list introduction strategy for the derivation of logic programs. (English) Zbl 1001.68020 Formal Asp. Comput. 13, No. 3-5, 233-251 (2002). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, Formal Asp. Comput. 13, No. 3--5, 233--251 (2002; Zbl 1001.68020) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Automated strategies for specializing constraint logic programs. (English) Zbl 1018.68502 Lau, Kung-Kiu (ed.), Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24-28, 2000. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2042, 125-146 (2001). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Lect. Notes Comput. Sci. 2042, 125--146 (2001; Zbl 1018.68502) Full Text: Link
Pettorossi, Alberto; Proietti, Maurizio Perfect model checking via unfold/fold transformations. (English) Zbl 0983.68041 Lloyd, John (ed.) et al., Computational logic - CL 2000. 1st international conference, London, GB, July 24-28, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1861, 613-628 (2000). MSC: 68N30 68N17 68T15 68Q60 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, Lect. Notes Comput. Sci. 1861, 613--628 (2000; Zbl 0983.68041)
Pettorossi, Alberto; Proietti, Maurizio Transformation rules for logic programs with goals as arguments. (English) Zbl 0964.68015 Bossi, Annalisa (ed.), Logic-based program synthesis and transformation. 9th international workshop, LOPSTR ’99. Venice, Italy, September 22-24, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1817, 176-195 (2000). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, Lect. Notes Comput. Sci. 1817, 176--195 (2000; Zbl 0964.68015)
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Rules and strategies for contextual specialization of constraint logic programs. (English) Zbl 0959.68019 Leuschel, Michael (ed.), WOID ’99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2-3, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 30,2, 16 p., electronic only (1999). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., in: WOID '99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2--3, 1999. Amsterdam: Elsevier. 16 p. (1999; Zbl 0959.68019)
Pettorossi, Alberto; Proietti, Maurizio Synthesis and transformation of logic programs using unfold/fold proofs. (English) Zbl 0944.68024 J. Log. Program. 41, No. 2-3, 197-230 (1999). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, J. Log. Program. 41, No. 2--3, 197--230 (1999; Zbl 0944.68024) Full Text: DOI
Pettorossi, A.; Proietti, M. Transformation of logic programs. (English) Zbl 0900.68141 Gabbay, Dov M. (ed.) et al., Handbook of logic in artificial intelligence and logic programming. Vol. 5: Logic programming. Oxford: Clarendon Press. 697-787 (1998). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, in: Handbook of logic in artificial intelligence and logic programming. Vol. 5: Logic programming. Oxford: Clarendon Press. 697--787 (1998; Zbl 0900.68141)
Proietti, Maurizio; Pettorossi, Alberto Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. (English) Zbl 0873.68023 Theor. Comput. Sci. 142, No. 1, 89-124 (1995). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Proietti} and \textit{A. Pettorossi}, Theor. Comput. Sci. 142, No. 1, 89--124 (1995; Zbl 0873.68023) Full Text: DOI
Pettorossi, Alberto; Proietti, Maurizio Transformation of logic programs: Foundations and techniques. (English) Zbl 0942.68528 J. Log. Program. 19-20, 261-320 (1994). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{M. Proietti}, J. Log. Program. 19--20, 261--320 (1994; Zbl 0942.68528) Full Text: DOI
Proietti, Maurizio; Pettorossi, Alberto An abstract strategy for transforming logic programs. (English) Zbl 0788.68026 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 18, No. 2-4, 267-286 (1993). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 68N17 PDFBibTeX XMLCite \textit{M. Proietti} and \textit{A. Pettorossi}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 18, No. 2--4, 267--286 (1993; Zbl 0788.68026)
Proietti, Maurizio; Pettorossi, Alberto The loop absorption and the generalization strategies for the development of logic programs and partial deduction. (English) Zbl 0778.68025 J. Log. Program. 16, No. 1-2, 123-161 (1993). Reviewer: Y.M.El-Fattah (Irvine) MSC: 68N17 PDFBibTeX XMLCite \textit{M. Proietti} and \textit{A. Pettorossi}, J. Log. Program. 16, No. 1--2, 123--161 (1993; Zbl 0778.68025) Full Text: DOI
Pettorossi, Alberto (ed.) Meta-programming in logic. 3rd international workshop, META-92, Uppsala, Sweden, June 10–12, 1992. Proceedings. (English) Zbl 0825.00059 Lecture Notes in Computer Science 649. Berlin: Springer-Verlag. XII, 351 p. (1992). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{A. Pettorossi} (ed.), Meta-programming in logic. 3rd international workshop, META-92, Uppsala, Sweden, June 10--12, 1992. Proceedings. Berlin: Springer-Verlag (1992; Zbl 0825.00059)
Proietti, Maurizio; Pettorossi, Alberto Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. (English) Zbl 0789.68019 Maluszyński, Jan (ed.) et al., Programming language implementation and logic programming. 3rd international symposium, PLILP ’91, Passau, Germany, August 26-28, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 528, 347-358 (1991). MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{M. Proietti} and \textit{A. Pettorossi}, Lect. Notes Comput. Sci. 528, 347--358 (1991; Zbl 0789.68019)
Proietti, Maurizio; Pettorossi, Alberto Synthesis of eureka predicates for developing logic programs. (English) Zbl 0765.68141 ESOP’90, Proc. 3rd Eur. Symp., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 432, 306-325 (1990). MSC: 68Q60 68N17 PDFBibTeX XMLCite \textit{M. Proietti} and \textit{A. Pettorossi}, Lect. Notes Comput. Sci. 432, 306--325 (1990; Zbl 0765.68141)
Pettorossi, Alberto; Skowron, Andrzej Some contributions of mathematics to recent developments of theoretical computer science. (English) Zbl 0505.68006 Mathematics at the service of man, Proc. 2nd World Conf., Las Palmas/Spain 1982, 588-595 (1982). MSC: 68N01 68-03 08-03 01A65 PDFBibTeX XML