×

zbMATH — the first resource for mathematics

Pettorossi, Alberto

Compute Distance To:
Author ID: pettorossi.alberto Recent zbMATH articles by "Pettorossi, Alberto"
Published as: Pettorossi, A.; Pettorossi, Alberto
Documents Indexed: 96 Publications since 1975, including 5 Books
Reviewing Activity: 74 Reviews

Publications by Year

Citations contained in zbMATH Open

49 Publications have been cited 126 times in 84 Documents Cited by Year
Transformation of logic programs: Foundations and techniques. Zbl 0942.68528
Pettorossi, Alberto; Proietti, Maurizio
21
1994
Synthesis and transformation of logic programs using unfold/fold proofs. Zbl 0944.68024
Pettorossi, Alberto; Proietti, Maurizio
8
1999
Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0873.68023
Proietti, Maurizio; Pettorossi, Alberto
8
1995
Transformation of logic programs. Zbl 0900.68141
Pettorossi, A.; Proietti, M.
7
1998
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
Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
5
2015
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
Perfect model checking via unfold/fold transformations. Zbl 0983.68041
Pettorossi, Alberto; Proietti, Maurizio
4
2000
Synthesis of eureka predicates for developing logic programs. Zbl 0765.68141
Proietti, Maurizio; Pettorossi, Alberto
4
1990
Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0789.68019
Proietti, Maurizio; Pettorossi, Alberto
3
1991
Enriched categories for local and interaction calculi. Zbl 0639.68023
Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto
3
1987
On subrecursiveness in weak combinatory logic. Zbl 0332.02033
Batini, Carlo; Pettorossi, Alberto
3
1975
Generalization strategies for the verification of infinite state systems. Zbl 1267.68080
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2013
Constraint-based correctness proofs for logic program transformations. Zbl 1259.68036
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2012
Deciding full branching time logic by program transformation. Zbl 1284.68413
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2010
Transformation rules for logic programs with goals as arguments. Zbl 0964.68015
Pettorossi, Alberto; Proietti, Maurizio
2
2000
Categorical models of process cooperation. Zbl 0618.68023
Labella, A.; Pettorossi, A.
2
1986
Towers of Hanoi problems: deriving iterative solutions by program transformations. Zbl 0581.68016
Pettorossi, Alberto
2
1985
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008
Pettorossi, A.; Burstall, R. M.
2
1982
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2018
Program verification using constraint handling rules and array constraint generalizations. Zbl 1374.68113
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2017
Relational verification through Horn clause transformation. Zbl 1394.68227
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2016
A rule-based verification strategy for array manipulating programs. Zbl 1348.68131
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2015
Specialization with constrained generalization for software model checking. Zbl 1394.68072
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2013
Controlling polyvariance for specialization-based verification. Zbl 1268.68110
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2013
Synthesizing concurrent programs using answer set programming. Zbl 1256.68035
De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio
1
2012
Improving reachability analysis of infinite state systems by specialization. Zbl 1279.68209
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
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
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
Transformations of logic programs with goals as arguments. Zbl 1085.68022
Pettorossi, Alberto; Proietti, Maurizio
1
2004
Program derivation \(=\) rules \(+\) strategies. Zbl 1012.68033
Pettorossi, Alberto; Proietti, Maurizio
1
2002
The list introduction strategy for the derivation of logic programs. Zbl 1001.68020
Pettorossi, Alberto; Proietti, Maurizio
1
2002
Automated strategies for specializing constraint logic programs. Zbl 1018.68502
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2001
An abstract strategy for transforming logic programs. Zbl 0788.68026
Proietti, Maurizio; Pettorossi, Alberto
1
1993
The lambda abstraction strategy for program derivation. Zbl 0686.68014
Pettorossi, Alberto; Skowron, Andrzej
1
1989
Program development using lambda abstraction. Zbl 0636.68014
Pettorossi, Alberto
1
1987
Higher order generalization in program derivation. Zbl 0614.68009
Pettorossi, Alberto; Skowron, Andrzej
1
1987
Transformation strategies for deriving on line programs. Zbl 0589.68010
Pettorossi, Alberto
1
1986
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
1
1983
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
A property which guarantees termination in weak combinatory logic and subtree replacement systems. Zbl 0416.03015
Pettorossi, Alberto
1
1981
Combinators as tree transducers. Zbl 0364.94033
Pettorossi, Alberto
1
1977
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2018
Program verification using constraint handling rules and array constraint generalizations. Zbl 1374.68113
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2017
Relational verification through Horn clause transformation. Zbl 1394.68227
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2016
Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
5
2015
A rule-based verification strategy for array manipulating programs. Zbl 1348.68131
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2015
Generalization strategies for the verification of infinite state systems. Zbl 1267.68080
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
Controlling polyvariance for specialization-based verification. Zbl 1268.68110
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2013
Constraint-based correctness proofs for logic program transformations. Zbl 1259.68036
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2012
Synthesizing concurrent programs using answer set programming. Zbl 1256.68035
De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio
1
2012
Improving reachability analysis of infinite state systems by specialization. Zbl 1279.68209
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
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
1
2004
Program derivation \(=\) rules \(+\) strategies. Zbl 1012.68033
Pettorossi, Alberto; Proietti, Maurizio
1
2002
The list introduction strategy for the derivation of logic programs. Zbl 1001.68020
Pettorossi, Alberto; Proietti, Maurizio
1
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
4
2000
Transformation rules for logic programs with goals as arguments. Zbl 0964.68015
Pettorossi, Alberto; Proietti, Maurizio
2
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
8
1995
Transformation of logic programs: Foundations and techniques. Zbl 0942.68528
Pettorossi, Alberto; Proietti, Maurizio
21
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
3
1991
Synthesis of eureka predicates for developing logic programs. Zbl 0765.68141
Proietti, Maurizio; Pettorossi, Alberto
4
1990
The lambda abstraction strategy for program derivation. Zbl 0686.68014
Pettorossi, Alberto; Skowron, Andrzej
1
1989
Enriched categories for local and interaction calculi. Zbl 0639.68023
Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto
3
1987
Program development using lambda abstraction. Zbl 0636.68014
Pettorossi, Alberto
1
1987
Higher order generalization in program derivation. Zbl 0614.68009
Pettorossi, Alberto; Skowron, Andrzej
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
2
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
1
1983
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008
Pettorossi, A.; Burstall, R. M.
2
1982
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
A property which guarantees termination in weak combinatory logic and subtree replacement systems. Zbl 0416.03015
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
3
1975
all top 5

Cited by 131 Authors

13 Pettorossi, Alberto
11 Proietti, Maurizio
5 Fioravanti, Fabio
4 Er, Mingcheng
4 Senni, Valerio
3 De Angelis, Emanuele
3 Labella, Anna
3 Moreno, Ginés
3 Seki, Hirohisa
3 Vidal, Germán
2 Alpuente, María
2 Comini, Marco
2 Falaschi, Moreno
2 Gallagher, John P.
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 Sakai, Masahiko
2 Salzer, Gernot
2 Toni, Francesca
1 Afrati, Foto N.
1 Akama, Kiyoshi
1 Altunkaynak, Baris
1 Anderson, Penny
1 Ballis, Demis
1 Basin, David A.
1 Bensaou, N.
1 Bhagyanath, Anoop
1 Bjørner, Nikolaj S.
1 Boulanger, Dmitri
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 Etalle, Sandro
1 Fernandes, João Paulo
1 Formisano, Andrea
1 Gabbrielli, Maurizio
1 Galán, Francisco J.
1 Ganty, Pierre
1 Genaim, Samir
1 Gries, David
1 Guerrero, Juan Antonio
1 Guessarian, Irène
1 Gupta, Gopal K.
1 Gurfinkel, Arie
1 Gutiérrez, Raúl
1 Hagiya, Masami
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 Kafle, Bishoksan
1 Kaminski, Mark
1 Kato, Tomofumi
1 Kawamura, Tadashi
1 Kiefer, Moritz
1 Kilic, Emrah
1 Klebanov, Vladimir
1 Kobayashi, Naoki
1 Koike, Hidekatsu
1 Komendantskaya, Ekaterina
1 Koskinen, Eric
1 Kowalski, Robert A.
1 Kuncak, Viktor
1 Li, Yue
1 Löchner, Bernd
1 López-Fraguas, Francisco Javier
1 Lucas, Salvador
1 McMillan, Kenneth L.
1 Muggleton, Stephen H.
1 Murphy, David J.
1 Nantajeewarawat, Ekawit
1 Nenov, Yavor
1 Nys, Vincent
1 Olarte, Carlos
...and 31 more Authors

Citations by Year