BACCI, Giovanni
BACCI, Giovanni
DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 secondi).
Abstract Diagnosis of First Order Functional Logic Programs
2011-01-01 Bacci, Giovanni; Comini, Marco
An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages
2012-03-15 Bacci, Giovanni
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstract Diagnosis of First Order Functional Logic Programs | 1-gen-2011 | Bacci, Giovanni; Comini, Marco | |
| An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages | 15-mar-2012 | Bacci, Giovanni | |
| 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 |