Person: María Alpuente

DBLP: Alpuente:Mar=iacute=a

Facilitated 2 volumes:

Ed

Ed

Contributed to:

2013

2013

2012

2011

2010

2009

2009

2008

2008

2008

2006

2005

2003

2002

2002

1999

1999

1998

1997

1997

1996

1994

1993

1993

1992

1991

Wrote 26 papers:

ESOP-2013-AlpuenteBFS #analysis #logic #specification

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne (MA, DB, FF, JS), pp. 121–124.

PEPM-2013-AlpuenteFV #automation #logic #specification #using

Automatic inference of specifications using matching logic (MA, MAF, AV), pp. 127–136.

FM-2012-AlpuenteBFR #named #slicing

Julienne: A Trace Slicer for Conditional Rewrite Theories (MA, DB, FF, DR), pp. 28–32.

CADE-2011-AlpuenteBER #logic #slicing

Backward Trace Slicing for Rewriting Logic Theories (MA, DB, JE, DR), pp. 34–48.

PEPM-2010-AlpuenteBBF #framework

A fold/unfold transformation framework for rewrite theories extended to CCT (MA, DB, MB, MF), pp. 43–52.

FM-2009-AlpuenteBR #logic #specification #verification #web

Specification and Verification of Web Applications in Rewriting Logic (MA, DB, DR), pp. 790–805.

LOPSTR-2009-AlpuenteFJV #datalog #logic

Defining Datalog in Rewriting Logic (MA, MAF, CJ, AV), pp. 188–204.

ICLP-2008-AlpuenteEI #dependence #termination #using

Termination of Narrowing Using Dependency Pairs (MA, SE, JI), pp. 317–331.

LOPSTR-2008-AlpuenteEMO #algorithm #composition #equation

A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.

RTA-2008-AlpuenteEI #composition #termination

Modular Termination of Basic Narrowing (MA, SE, JI), pp. 1–16.

SEFM-2006-AlpuenteBFR #automation

A Semi-Automatic Methodology for Repairing FaultyWeb Sites (MA, DB, MF, DR), pp. 31–40.

QAPL-2004-AlpuenteGPV05 #model checking #source code

Abstract Model Checking of tccp programs (MA, MdMG, EP, AV), pp. 19–36.

ESOP-2003-AlpuenteBCF #functional #logic programming #source code

Correction of Functional Logic Programs (MA, DB, FJC, MF), pp. 54–68.

LOPSTR-2002-AlpuenteCEFL #functional #source code

Abstract Diagnosis of Functional Programs (MA, MC, SE, MF, SL), pp. 1–16.

WRLA-2002-AlpuenteEL

Correct and Complete (Positive) Strategy Annotations for OBJ (MA, SE, SL), pp. 70–89.

FLOPS-1999-AlpuenteFMV #functional #lazy evaluation #logic programming #source code

A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.

ICFP-1999-AlpuenteHLV #functional #logic programming #source code

Specialization of Inductively Sequential Functional Logic Programs (MA, MH, SL, GV), pp. 273–283.

SAS-1998-AlbertAFJV #functional #logic programming

Improving Control in Functional Logic Program Specialization (EA, MA, MF, PJI, GV), pp. 262–277.

ALP-1997-AlpuenteFMV

Safe Folding/Unfolding with Conditional Narrowing (MA, MF, GM, GV), pp. 1–15.

PEPM-1997-AlpuenteFJV #functional #lazy evaluation #logic programming #source code

Specialization of Lazy Functional Logic Programs (MA, MF, PJI, GV), pp. 151–162.

ESOP-1996-AlpuenteFV #functional #logic programming #partial evaluation #source code

Narrowing-Driven Partial Evaluation of Functional Logic Programs (MA, MF, GV), pp. 45–61.

ALP-1994-AlpuenteFV #analysis #composition #equation #source code

Compositional Analysis for Equational Horn Programs (MA, MF, GV), pp. 77–94.

ILPS-1993-AlpuenteFV #analysis #constraints #equation #incremental

Incremental Equational Constraint Analyses (MA, MF, GV), p. 657.

PLILP-1993-AlpuenteFRV #approximate #equation #logic programming #optimisation #source code

Narrowing Approximations as an Optimization for Equational Logic Programs (MA, MF, MJR, GV), pp. 391–409.

PLILP-1992-AlpuenteFM #analysis #consistency #equation #incremental #logic programming #nondeterminism

Analyses of Inconsistency for Incremental Equational Logic Programming (MA, MF, FM), pp. 443–457.

PLILP-1991-AlpuenteF #algorithm #constraints #incremental

Narrowing as an Incremental Constraint Satisfaction Algorithm (MA, MF), pp. 111–122.