Sfoglia per Autore
Synthesis of eureka predicates for developing logic programs
1990-01-01 Proietti, M; Pettorossi, A
Observers, experiments, and agents: a comprehensive approach to parallelism
1990-01-01 Kasangian, S; Labella, A; Pettorossi, A
Developing correct and efficient logic programs by transformation
1996-01-01 Pettorossi, A; Proietti, M
Future directions in program transformation
1997-01-01 Pettorossi, A; Proietti, M
Enhancing partial deduction via unfold/fold rules
1997-01-01 Pettorossi, A; Proietti, M; Renault, S
Reducing nondeterminism while specializing logic programs
1997-01-01 Pettorossi, A; Proietti, M; Renault, S
Perfect model checking via unfold/fold transformations
2000-01-01 Pettorossi, A; Proietti, M
Rules and strategies for contextual specialization of constraint logic programs
2000-01-01 Fioravanti, F; Pettorossi, A; Proietti, M
Automated strategies for specializing constraint logic programs
2001-01-01 Fioravanti, F; Pettorossi, A; Proietti, M
Transformation rules for locally stratified constraint logic programs
2004-01-01 Pettorossi, A; Proietti, M
A theory of totally correct logic program transformations
2004-01-01 Pettorossi, A; Proietti, M
Transformations of logic programs with goals as arguments
2004-01-01 Pettorossi, A; Proietti, M
Program transformation: Theoretical foundations and basic techniques. Part 1
2005-01-01 Pettorossi, A; Proietti, M
Elements of concurrent programming (Second edition)
2005-01-01 Pettorossi, A
First order predicate calculus and logic programming (Second edition)
2005-01-01 Pettorossi, A; Proietti, M
Derivation of efficient logic programs by specialization and reduction of nondeterminism
2005-01-01 Pettorossi, A; Proietti, M; Renault,
Higher-order and symbolic computation: editorial
2005-01-01 Danvy, O; Henglein, F; Mairson, H; Pettorossi, A
Proving properties of constraint logic programs by eliminating existential variables
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Program transformation: theoretical foundations and basic techniques. Part 2
2006-01-01 Pettorossi, A; Proietti, M
Proving properties of constraint logic programs by eliminating existential variables
2006-01-01 Pettorossi, A; Proietti, M; Senni, V
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-1990 | Synthesis of eureka predicates for developing logic programs | Proietti, M; Pettorossi, A | Contributo in libro | |
1-gen-1990 | Observers, experiments, and agents: a comprehensive approach to parallelism | Kasangian, S; Labella, A; Pettorossi, A | Intervento a convegno | |
1-gen-1996 | Developing correct and efficient logic programs by transformation | Pettorossi, A; Proietti, M | Articolo su rivista | |
1-gen-1997 | Future directions in program transformation | Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-1997 | Enhancing partial deduction via unfold/fold rules | Pettorossi, A; Proietti, M; Renault, S | Intervento a convegno | |
1-gen-1997 | Reducing nondeterminism while specializing logic programs | Pettorossi, A; Proietti, M; Renault, S | Intervento a convegno | |
1-gen-2000 | Perfect model checking via unfold/fold transformations | Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2000 | Rules and strategies for contextual specialization of constraint logic programs | Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2001 | Automated strategies for specializing constraint logic programs | Fioravanti, F; Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2004 | Transformation rules for locally stratified constraint logic programs | Pettorossi, A; Proietti, M | Contributo in libro | |
1-gen-2004 | A theory of totally correct logic program transformations | Pettorossi, A; Proietti, M | Intervento a convegno | |
1-gen-2004 | Transformations of logic programs with goals as arguments | Pettorossi, A; Proietti, M | Articolo su rivista | |
1-gen-2005 | Program transformation: Theoretical foundations and basic techniques. Part 1 | Pettorossi, A; Proietti, M | Articolo su rivista | |
1-gen-2005 | Elements of concurrent programming (Second edition) | Pettorossi, A | Monografia | |
1-gen-2005 | First order predicate calculus and logic programming (Second edition) | Pettorossi, A; Proietti, M | Monografia | |
1-gen-2005 | Derivation of efficient logic programs by specialization and reduction of nondeterminism | Pettorossi, A; Proietti, M; Renault, | Articolo su rivista | |
1-gen-2005 | Higher-order and symbolic computation: editorial | Danvy, O; Henglein, F; Mairson, H; Pettorossi, A | Articolo su rivista | |
1-gen-2006 | Proving properties of constraint logic programs by eliminating existential variables | Pettorossi, A; Proietti, M; Senni, V | Intervento a convegno | |
1-gen-2006 | Program transformation: theoretical foundations and basic techniques. Part 2 | Pettorossi, A; Proietti, M | Articolo su rivista | |
1-gen-2006 | Proving properties of constraint logic programs by eliminating existential variables | Pettorossi, A; Proietti, M; Senni, V | Contributo in libro |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile