A. Pettorossi

发表

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers

A. Pettorossi, 2002 .

Using Answer Set Programming Solvers to Synthesize Concurrent Programs

Maurizio Proietti, Emanuele De Angelis, A. Pettorossi, 2012 .

Meta-Programming in Logic: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992: Proceedings

A. Pettorossi, 1992 .

Meta-Programming in Logic

A. Pettorossi, A. Pettorossi, 1992, Lecture Notes in Computer Science.

Horn clause transformation for program verification

Fabio Fioravanti, Maurizio Proietti, A. Pettorossi, 2016 .

Categories for modelling communicating processes

A. Pettorossi, A. Labellar, 1987 .

Strategical derivation of on-line programs

A. Pettorossi, 1987 .

Derivation of programs which traverse their input data only once

A. Pettorossi, A. Pettorossi, 1989 .