Travelled to:1 × Belgium
Collaborated with:G.Bacci M.Comini A.Villanueva
Talks about:synthesi (1) program (1) automat (1) specif (1) order (1) first (1) curri (1)
Person: Marco Antonio Feliú
DBLP: Feli=uacute=:Marco_Antonio
Contributed to:
2012Wrote 1 papers:
- PPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis
- Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.