You are here

Publications

Export 9 results:
Filters: Author is Marco Antonio Feliú  [Clear All Filters]
2012
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages, ICLP (Technical Communications), vol. To appear. Schloss Dagstuhl - Leibniz-Zentrum Fuer Informatik, 2012.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages, Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., Automatic Synthesis of Specifications for First Order Curry Programs, Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.
2011
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., Automatic Synthesis of Specifications for Curry Programs, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
2010
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Defining Datalog in Rewriting Logic, Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.
2009
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer, Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Defining Datalog in Rewriting Logic. DSIC, Universidad Politécnica de Valencia, 2009.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Implementing Datalog in Maude, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Using Datalog and Boolean Equation Systems for Program Analysis, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.