Sfoglia per Autore BACCI, Giovanni
Mostrati risultati da 1 a 4 di 4
Abstract Diagnosis of First Order Functional Logic Programs
2011-01-01 Bacci, Giovanni; Comini, Marco
Automatic Synthesis of Specifications for First Order Curry Programs
2012-01-01 Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages
2012-01-01 Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia
An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages
2012-03-15 Bacci, Giovanni
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract Diagnosis of First Order Functional Logic Programs | 1-gen-2011 | Bacci, Giovanni; Comini, Marco | |
| Automatic Synthesis of Specifications for First Order Curry Programs | 1-gen-2012 | Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia | |
| The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages | 1-gen-2012 | Bacci, Giovanni; Comini, Marco; M. A., Feliù; Villanueva, Alicia | |
| An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages | 15-mar-2012 | Bacci, Giovanni |
Mostrati risultati da 1 a 4 di 4
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