Seuraa
Maurizio Proietti
Maurizio Proietti
Research Scientist, CNR-IASI, Italy
Vahvistettu sähköpostiosoite verkkotunnuksessa iasi.cnr.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Transformation of logic programs: Foundations and techniques
A Pettorossi, M Proietti
The Journal of Logic Programming 19, 261-320, 1994
3151994
Rules and strategies for transforming functional and logic programs
A Pettorossi, M Proietti
ACM Computing Surveys (CSUR) 28 (2), 360-414, 1996
2091996
VeriMAP: A tool for verifying programs through transformations
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
International Conference on Tools and Algorithms for the Construction and …, 2014
972014
Transformation of logic programs
A Pettorossi, M Proietti
Handbook of logic in artificial intelligence and logic programming 5 (94 …, 1998
761998
Unfolding—definition—folding, in this order, for avoiding unnecessary variables in logic programs
M Proietti, A Pettorossi
International Symposium on Programming Language Implementation and Logic …, 1991
701991
Semantics preserving transformation rules for Prolog
M Proietti, A Pettorossi
ACM SIGPLAN Notices 26 (9), 274-284, 1991
701991
Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs
M Proietti, A Pettorossi
Theoretical Computer Science 142 (1), 89-124, 1995
671995
Verifying CTL properties of infinite state systems by specializing constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Proc. VCL 1, 85-96, 2001
652001
Synthesis and transformation of logic programs using unfold/fold proofs
A Pettorossi, M Proietti
The Journal of Logic Programming 41 (2), 197-230, 1999
631999
Semantics-based generation of verification conditions by program specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
622015
Generalization strategies for the verification of infinite state systems
F Fioravanti, A Pettorossi, M Proietti, V Senni
Theory and Practice of Logic Programming 13 (2), 175-199, 2013
602013
The loop absorption and the generalization strategies for the development of logic programs and partial deduction
M Proietti, A Pettorossi
The Journal of Logic Programming 16 (1-2), 123-161, 1993
571993
A comparative revisitation of some program transformation techniques
A Pettorossi, M Proietti
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005
492005
Transformation rules for locally stratified constraint logic programs
F Fioravanti, A Pettorossi, M Proietti
Program Development in Computational Logic: A Decade of Research Advances in …, 2004
482004
Relational verification through horn clause transformation
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
472016
Program verification via iterated specialization
E De Angelis, F Fioravanti, A Pettorossi, M Proietti
Science of Computer Programming 95, 149-175, 2014
462014
Synthesis of eureka predicates for developing logic programs
M Proietti, A Pettorossi
European Symposium on Programming, 306-325, 1990
431990
Analysis and transformation of constrained Horn clauses for program verification
E De Angelis, F Fioravanti, JP Gallagher, MV Hermenegildo, A Pettorossi, ...
Theory and Practice of Logic Programming 22 (6), 974-1042, 2022
362022
Perfect model checking via unfold/fold transformations
A Pettorossi, M Proietti
International Conference on Computational Logic, 613-628, 2000
352000
Rule-based Behavioral Reasoning on Semantic Business Processes.
F Smith, M Proietti
ICAART (2), 130-143, 2013
342013
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20