Marı́a Alpuente

Partial evaluation of functional logic programs

Marı́a Alpuente, Moreno Falaschi, Germán Vidal · ACM Transactions on Programming Languages and Systems · 1998 · 92 citations · Full text

Declarative Programming, Engineering, Complete Operational Semantics +12

Specialization of lazy functional logic programs

Marı́a Alpuente, Moreno Falaschi, Germán Vidal · 1997 · 49 citations · Full text

Engineering, Automated Reasoning, Program Analysis +13

A modular order-sorted equational generalization algorithm

Marı́a Alpuente, Santiago Escobar, Javier Espert et al. · Information and Computation · 2014 · 45 citations · Full text

Specialization of inductively sequential functional logic programs

Marı́a Alpuente, Michael Hanus, Salvador Lucas et al. · 1999 · 32 citations · Full text

Functional Logic Languages, Engineering, Operational Semantics +11

A Rewriting-based Framework for Web Sites Verification

Marı́a Alpuente, Demis Ballis, Moreno Falaschi · Electronic Notes in Theoretical Computer Science · 2005 · 29 citations · Full text

Engineering, Verification, Partial Rewriting +18