Travelled to:1 × Hungary
1 × Italy
1 × Portugal
Collaborated with:A.Villanueva M.Alpuente G.Bacci M.Comini C.Joubert
Talks about:logic (4) automat (2) specif (2) difficulti (1) synthesi (1) function (1) languag (1) datalog (1) rewrit (1) featur (1)
Person: Marco A. Feliú
DBLP: Feli=uacute=:Marco_A=
Contributed to:
2013
2012
2009Wrote 3 papers:
- PEPM-2013-AlpuenteFV #automation #logic #specification #using
- Automatic inference of specifications using matching logic (MA, MAF, AV), pp. 127–136.
- ICLP-2012-BacciCFV #automation #functional #logic #specification #synthesis
- The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages (GB, MC, MAF, AV), pp. 144–153.
- LOPSTR-2009-AlpuenteFJV #datalog #logic
- Defining Datalog in Rewriting Logic (MA, MAF, CJ, AV), pp. 188–204.