PETTOROSSI, ALBERTO

PETTOROSSI, ALBERTO  

Dipartimento di Ingegneria Civile e Ingegneria informatica  

Mostra records
Risultati 1 - 20 di 80 (tempo di esecuzione: 0.019 secondi).
Data di pubblicazione Titolo Autore(i) Tipo File
1-gen-2008 A folding algorithm for eliminating existential variables from constraint logic programs Senni, V; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2009 A folding rule for eliminating existential variables from constraint logic programs Pettorossi, A; Senni, V; Proietti, M Articolo su rivista
1-gen-2015 A rule-based verification strategy for array manipulating programs De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M Articolo su rivista
1-gen-2004 A theory of totally correct logic program transformations Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2010 A transformation strategy for verifying logic programs on infinite lists Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2015 Alla ricerca della verità oltre la verità scientifica Pettorossi, A Contributo in libro
1-gen-2008 Automata theory and formal languages Pettorossi, A Monografia
1-gen-2013 Automata theory and formal languages Pettorossi, A Monografia
1-gen-2011 Automata Theory and Formal Languages (Third Edition) Pettorossi, A Monografia
1-gen-2009 Automata theory and formal languages (Second edition) Pettorossi, A Monografia
1-gen-2001 Automated strategies for specializing constraint logic programs Fioravanti, F; Pettorossi, A; Proietti, M Intervento a convegno
1-gen-2007 Automatic correctness proofs for logic program transformations Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2012 Constraint-based correctness proofs for logic program transformations Pettorossi, A; Proietti, M; Senni, V Articolo su rivista
1-gen-2013 Controlling polyvariance for specialization-based verification Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V Articolo su rivista
1-gen-2010 Deciding full branching time logic by program transformation Pettorossi, A; Proietti, M; Senni, V Intervento a convegno
1-gen-2005 Derivation of efficient logic programs by specialization and reduction of nondeterminism Pettorossi, A; Proietti, M; Renault, Articolo su rivista
1-gen-1996 Developing correct and efficient logic programs by transformation Pettorossi, A; Proietti, M Articolo su rivista
1-gen-2014 Elements of computability, decidability, and complexity Pettorossi, A Monografia
1-gen-2009 Elements of computability, decidability, and complexity (Third edition) Pettorossi, A Monografia
1-gen-2016 Elements of computability, decidability, and complexity. Fifth Edition Pettorossi, A Monografia