Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marco A. Feliú
Marco Antonio Feliú
2010 – today
- 2013
[c6]María Alpuente, Marco A. Feliú, Alicia Villanueva: Automatic inference of specifications using matching logic. PEPM 2013: 127-136- 2012
- [c5]Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva: The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) 2012: 144-153
- [c4]Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva: Automatic synthesis of specifications for first order curry programs. PPDP 2012: 25-34
- 2010
- [j2]Marco A. Feliú, Christophe Joubert, Fernando Tarin: Evaluation Strategies for Datalog-based Points-To Analysis. ECEASST 35 (2010)
- [c3]María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva: Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20
2000 – 2009
- 2009
- [j1]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electr. Notes Theor. Comput. Sci. 248: 57-66 (2009)
- [c2]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204
- 2008
- [c1]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva: Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-19 19:22 CET by the dblp team