×

Pettorossi, Alberto

Compute Distance To:
Author ID: pettorossi.alberto Recent zbMATH articles by "Pettorossi, Alberto"
Published as: Pettorossi, Alberto; Pettorossi, A.
Documents Indexed: 96 Publications since 1975
10 Contributions as Editor
Reviewing Activity: 74 Reviews
Co-Authors: 30 Co-Authors with 86 Joint Publications
746 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

55 Publications have been cited 166 times in 105 Documents Cited by Year
Transformation of logic programs: Foundations and techniques. Zbl 0942.68528
Pettorossi, Alberto; Proietti, Maurizio
22
1994
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
10
2018
Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0873.68023
Proietti, Maurizio; Pettorossi, Alberto
9
1995
Synthesis and transformation of logic programs using unfold/fold proofs. Zbl 0944.68024
Pettorossi, Alberto; Proietti, Maurizio
8
1999
Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
7
2015
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. Zbl 0509.68032
Pettorossi, Alberto
7
1980
Transformation of logic programs. Zbl 0900.68141
Pettorossi, A.; Proietti, M.
7
1998
Synthesis of eureka predicates for developing logic programs. Zbl 0765.68141
Proietti, Maurizio; Pettorossi, Alberto
5
1990
Transformation rules for locally stratified constraint logic programs. Zbl 1080.68010
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
5
2004
The loop absorption and the generalization strategies for the development of logic programs and partial deduction. Zbl 0778.68025
Proietti, Maurizio; Pettorossi, Alberto
5
1993
On subrecursiveness in weak combinatory logic. Zbl 0332.02033
Batini, Carlo; Pettorossi, Alberto
4
1975
Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0789.68019
Proietti, Maurizio; Pettorossi, Alberto
4
1991
Relational verification through Horn clause transformation. Zbl 1394.68227
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2016
Program verification using constraint handling rules and array constraint generalizations. Zbl 1374.68113
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2017
Program derivation \(=\) rules \(+\) strategies. Zbl 1012.68033
Pettorossi, Alberto; Proietti, Maurizio
3
2002
Perfect model checking via unfold/fold transformations. Zbl 0983.68041
Pettorossi, Alberto; Proietti, Maurizio
3
2000
Transformation rules for logic programs with goals as arguments. Zbl 0964.68015
Pettorossi, Alberto; Proietti, Maurizio
3
2000
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008
Pettorossi, A.; Burstall, R. M.
3
1982
Enriched categories for local and interaction calculi. Zbl 0639.68023
Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto
3
1987
Verifying array programs by transforming verification conditions. Zbl 1428.68182
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2014
Generalization strategies for the verification of infinite state systems. Zbl 1267.68080
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
3
2013
Towers of Hanoi problems: deriving iterative solutions by program transformations. Zbl 0581.68016
Pettorossi, Alberto
3
1985
A rule-based verification strategy for array manipulating programs. Zbl 1348.68131
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2015
Deciding full branching time logic by program transformation. Zbl 1284.68413
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2010
The lambda abstraction strategy for program derivation. Zbl 0686.68014
Pettorossi, Alberto; Skowron, Andrzej
2
1989
Predicate pairing for program verification. Zbl 1478.68153
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2018
The list introduction strategy for the derivation of logic programs. Zbl 1001.68020
Pettorossi, Alberto; Proietti, Maurizio
2
2002
Transformations of logic programs with goals as arguments. Zbl 1085.68022
Pettorossi, Alberto; Proietti, Maurizio
2
2004
Constraint-based correctness proofs for logic program transformations. Zbl 1259.68036
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2012
Categorical models of process cooperation. Zbl 0618.68023
Labella, A.; Pettorossi, A.
2
1986
Some properties of binary sequences useful for proving Collatz’s conjecture. Zbl 0547.10006
Błażewicz, Jacek; Pettorossi, Alberto
2
1983
Controlling polyvariance for specialization-based verification. Zbl 1268.68110
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2013
Verification of time-aware business processes using constrained Horn clauses. Zbl 1485.68149
De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
1
2017
Totally correct logic program transformations via well-founded annotations. Zbl 1194.68095
Pettorossi, Alberto; Proietti, Maurizio
1
2008
An abstract strategy for transforming logic programs. Zbl 0788.68026
Proietti, Maurizio; Pettorossi, Alberto
1
1993
Automated strategies for specializing constraint logic programs. Zbl 1018.68502
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2001
A property which guarantees termination in weak combinatory logic and subtree replacement systems. Zbl 0416.03015
Pettorossi, Alberto
1
1981
Improving reachability analysis of infinite state systems by specialization. Zbl 1279.68209
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2012
Comparing and putting together recursive path ordering, simplification orderings and non-ascending property for termination proofs of term rewriting systems. Zbl 0475.68011
Pettorossi, Alberto
1
1981
Synthesizing concurrent programs using answer set programming. Zbl 1256.68035
De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio
1
2012
Proving properties of constraint logic programs by eliminating existential variables. Zbl 1131.68389
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2006
Higher order generalization in program derivation. Zbl 0614.68009
Pettorossi, Alberto; Skowron, Andrzej
1
1987
Derivation of efficient programs for computing sequences of actions. Zbl 0628.68016
Pettorossi, Alberto
1
1987
Program development using lambda abstraction. Zbl 0636.68014
Pettorossi, Alberto
1
1987
Combinators as tree transducers. Zbl 0364.94033
Pettorossi, Alberto
1
1977
Transformations of logic programs on infinite lists. Zbl 1209.68096
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2010
Program specialization for verifying infinite state systems: an experimental evaluation. Zbl 1326.68184
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2011
Specialization with constrained generalization for software model checking. Zbl 1394.68072
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2013
Automatic correctness proofs for logic program transformations. Zbl 1213.68207
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2007
The transformational approach to program development. Zbl 1285.68035
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2010
A folding algorithm for eliminating existential variables from constraint logic programs. Zbl 1185.68184
Senni, Valerio; Pettorossi, Alberto; Proietti, Maurizio
1
2008
Categorical models for handshaking communications. Zbl 0584.68072
Labella, Anna; Pettorossi, Alberto
1
1985
Transformation strategies for deriving on line programs. Zbl 0589.68010
Pettorossi, Alberto
1
1986
Proving properties of sorting programs: a case study in Horn clause verification. Zbl 1483.68189
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2019
Satisfiability of constrained Horn clauses on algebraic data types: a transformation-based approach. Zbl 07486296
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2022
Satisfiability of constrained Horn clauses on algebraic data types: a transformation-based approach. Zbl 07486296
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2022
Proving properties of sorting programs: a case study in Horn clause verification. Zbl 1483.68189
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2019
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
10
2018
Predicate pairing for program verification. Zbl 1478.68153
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2018
Program verification using constraint handling rules and array constraint generalizations. Zbl 1374.68113
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2017
Verification of time-aware business processes using constrained Horn clauses. Zbl 1485.68149
De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
1
2017
Relational verification through Horn clause transformation. Zbl 1394.68227
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2016
Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
7
2015
A rule-based verification strategy for array manipulating programs. Zbl 1348.68131
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2015
Verifying array programs by transforming verification conditions. Zbl 1428.68182
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2014
Generalization strategies for the verification of infinite state systems. Zbl 1267.68080
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
3
2013
Controlling polyvariance for specialization-based verification. Zbl 1268.68110
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2013
Specialization with constrained generalization for software model checking. Zbl 1394.68072
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2013
Constraint-based correctness proofs for logic program transformations. Zbl 1259.68036
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2012
Improving reachability analysis of infinite state systems by specialization. Zbl 1279.68209
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2012
Synthesizing concurrent programs using answer set programming. Zbl 1256.68035
De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio
1
2012
Program specialization for verifying infinite state systems: an experimental evaluation. Zbl 1326.68184
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2011
Deciding full branching time logic by program transformation. Zbl 1284.68413
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2010
Transformations of logic programs on infinite lists. Zbl 1209.68096
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2010
The transformational approach to program development. Zbl 1285.68035
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2010
Totally correct logic program transformations via well-founded annotations. Zbl 1194.68095
Pettorossi, Alberto; Proietti, Maurizio
1
2008
A folding algorithm for eliminating existential variables from constraint logic programs. Zbl 1185.68184
Senni, Valerio; Pettorossi, Alberto; Proietti, Maurizio
1
2008
Automatic correctness proofs for logic program transformations. Zbl 1213.68207
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2007
Proving properties of constraint logic programs by eliminating existential variables. Zbl 1131.68389
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2006
Transformation rules for locally stratified constraint logic programs. Zbl 1080.68010
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
5
2004
Transformations of logic programs with goals as arguments. Zbl 1085.68022
Pettorossi, Alberto; Proietti, Maurizio
2
2004
Program derivation \(=\) rules \(+\) strategies. Zbl 1012.68033
Pettorossi, Alberto; Proietti, Maurizio
3
2002
The list introduction strategy for the derivation of logic programs. Zbl 1001.68020
Pettorossi, Alberto; Proietti, Maurizio
2
2002
Automated strategies for specializing constraint logic programs. Zbl 1018.68502
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2001
Perfect model checking via unfold/fold transformations. Zbl 0983.68041
Pettorossi, Alberto; Proietti, Maurizio
3
2000
Transformation rules for logic programs with goals as arguments. Zbl 0964.68015
Pettorossi, Alberto; Proietti, Maurizio
3
2000
Synthesis and transformation of logic programs using unfold/fold proofs. Zbl 0944.68024
Pettorossi, Alberto; Proietti, Maurizio
8
1999
Transformation of logic programs. Zbl 0900.68141
Pettorossi, A.; Proietti, M.
7
1998
Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0873.68023
Proietti, Maurizio; Pettorossi, Alberto
9
1995
Transformation of logic programs: Foundations and techniques. Zbl 0942.68528
Pettorossi, Alberto; Proietti, Maurizio
22
1994
The loop absorption and the generalization strategies for the development of logic programs and partial deduction. Zbl 0778.68025
Proietti, Maurizio; Pettorossi, Alberto
5
1993
An abstract strategy for transforming logic programs. Zbl 0788.68026
Proietti, Maurizio; Pettorossi, Alberto
1
1993
Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0789.68019
Proietti, Maurizio; Pettorossi, Alberto
4
1991
Synthesis of eureka predicates for developing logic programs. Zbl 0765.68141
Proietti, Maurizio; Pettorossi, Alberto
5
1990
The lambda abstraction strategy for program derivation. Zbl 0686.68014
Pettorossi, Alberto; Skowron, Andrzej
2
1989
Enriched categories for local and interaction calculi. Zbl 0639.68023
Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto
3
1987
Higher order generalization in program derivation. Zbl 0614.68009
Pettorossi, Alberto; Skowron, Andrzej
1
1987
Derivation of efficient programs for computing sequences of actions. Zbl 0628.68016
Pettorossi, Alberto
1
1987
Program development using lambda abstraction. Zbl 0636.68014
Pettorossi, Alberto
1
1987
Categorical models of process cooperation. Zbl 0618.68023
Labella, A.; Pettorossi, A.
2
1986
Transformation strategies for deriving on line programs. Zbl 0589.68010
Pettorossi, Alberto
1
1986
Towers of Hanoi problems: deriving iterative solutions by program transformations. Zbl 0581.68016
Pettorossi, Alberto
3
1985
Categorical models for handshaking communications. Zbl 0584.68072
Labella, Anna; Pettorossi, Alberto
1
1985
Some properties of binary sequences useful for proving Collatz’s conjecture. Zbl 0547.10006
Błażewicz, Jacek; Pettorossi, Alberto
2
1983
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008
Pettorossi, A.; Burstall, R. M.
3
1982
A property which guarantees termination in weak combinatory logic and subtree replacement systems. Zbl 0416.03015
Pettorossi, Alberto
1
1981
Comparing and putting together recursive path ordering, simplification orderings and non-ascending property for termination proofs of term rewriting systems. Zbl 0475.68011
Pettorossi, Alberto
1
1981
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. Zbl 0509.68032
Pettorossi, Alberto
7
1980
Combinators as tree transducers. Zbl 0364.94033
Pettorossi, Alberto
1
1977
On subrecursiveness in weak combinatory logic. Zbl 0332.02033
Batini, Carlo; Pettorossi, Alberto
4
1975
all top 5

Cited by 152 Authors

20 Pettorossi, Alberto
18 Proietti, Maurizio
12 Fioravanti, Fabio
10 De Angelis, Emanuele
5 Gallagher, John P.
4 Er, Mingcheng
4 Kobayashi, Naoki
4 Senni, Valerio
4 Vidal, Germán
3 Kafle, Bishoksan
3 Labella, Anna
3 Moreno, Ginés
3 Sato, Ryosuke
3 Seki, Hirohisa
2 Alpuente, María
2 Comini, Marco
2 Ernst, Gidon
2 Falaschi, Moreno
2 Fedyukovich, Grigory
2 Ganty, Pierre
2 Gergatsoulis, Manolis
2 Gori, Roberta
2 Kasangian, Stefano
2 Levi, Giorgio
2 Limet, Sébastien
2 Nagashima, Masanori
2 Nishida, Naoki
2 Pontelli, Enrico
2 Rümmer, Philipp
2 Sakai, Masahiko
2 Salzer, Gernot
2 Toni, Francesca
1 Afrati, Foto N.
1 Akama, Kiyoshi
1 Alaya, Jilani
1 Anderson, Penny
1 Atia, Mohamed Jalel
1 Ballis, Demis
1 Basin, David A.
1 Bensaou, N.
1 Bhagyanath, Anoop
1 Bjørner, Nikolaj S.
1 Boulanger, Dmitri
1 Bouras, Belgacem
1 Bruynooghe, Maurice
1 Canal, Richard
1 Cañete-Valdeón, José M.
1 Champion, Adrien
1 Chiba, Tomoya
1 Chin, Wei-Ngan
1 Cook, Byron
1 Correa, Francisco José
1 Cropper, Andrew
1 Cuenca Grau, Bernardo
1 Dahlem, Marc
1 de Dios Castro, Javier
1 De Schreye, Danny
1 Dershowitz, Nachum
1 Dezani-Ciancaglini, Mariangiola
1 Doménech, Jesús J.
1 Dovier, Agostino
1 Drabent, Włodzimierz
1 Ducassé, Mireille
1 Durieux, Jean-Louis
1 Esen, Zafer
1 Etalle, Sandro
1 Faisal Al Ameen, Mahmudul
1 Fernandes, João Paulo
1 Formisano, Andrea
1 Gabbrielli, Maurizio
1 Galán, Francisco J.
1 Genaim, Samir
1 Glück, Robert
1 Gries, David
1 Guerrero, Juan Antonio
1 Guessarian, Irène
1 Gupta, Aarti
1 Gupta, Gopal K.
1 Gurfinkel, Arie
1 Gutiérrez, Raúl
1 Hagiya, Masami
1 Hermenegildo, Manuel V.
1 Hinz, Andreas M.
1 Hojjat, Hossein
1 Inoue, Katsumi
1 Jahier, Erwan
1 Janhunen, Tomi
1 Joy, M. S.
1 Julián, Pascual
1 Kaminski, Mark
1 Kato, Tomofumi
1 Kawamura, Tadashi
1 Kiefer, Moritz
1 Kilic, Emrah
1 Klebanov, Vladimir
1 Klemen, Maximiliano
1 Koike, Hidekatsu
1 Komendantskaya, Ekaterina
1 Koskinen, Eric
1 Kowalski, Robert A.
...and 52 more Authors

Citations by Year