María Alpuente

Orcid: 0000-0002-9268-1178

Affiliations:
  • Polytechnic University of Valencia, Spain


According to our database1, María Alpuente authored at least 126 papers between 1991 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Safety enforcement via programmable strategies in Maude.
J. Log. Algebraic Methods Program., April, 2023

Automated Synthesis of Software Contracts with KindSpec.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

Optimizing Maude Programs via Program Specialization.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022
Symbolic Specialization of Rewriting Logic Theories with Presto.
Theory Pract. Log. Program., 2022

Optimization of rewrite theories by equational partial evaluation.
J. Log. Algebraic Methods Program., 2022

Order-sorted equational generalization algorithm revisited.
Ann. Math. Artif. Intell., 2022

Variant-Based Equational Anti-unification.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

2020
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System.
Math. Comput. Sci., 2020

A partial evaluation framework for order-sorted equational programs modulo axioms.
J. Log. Algebraic Methods Program., 2020

Abstract Contract Synthesis and Verification in the Symbolic K Framework.
Fundam. Informaticae, 2020

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.
Fundam. Informaticae, 2020

2019
Symbolic Analysis of Maude Theories with Narval.
Theory Pract. Log. Program., 2019

Static correction of Maude programs with assertions.
J. Syst. Softw., 2019

ACUOS<sup>2</sup>: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Inferring Safe Maude Programs with ÁTAME.
Proceedings of the Mathematical Software - ICMS 2018, 2018

2017
Inspecting Maude variants with GLINTS.
Theory Pract. Log. Program., 2017

2016
Assertion-based analysis via slicing with ABETS.
Theory Pract. Log. Program., 2016

Debugging Maude programs via runtime assertion checking and trace slicing.
J. Log. Algebraic Methods Program., 2016

Assertion-based Analysis via Slicing with ABETS (System Description).
CoRR, 2016

Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Symbolic Abstract Contract Synthesis in a Rewriting Framework.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015
Exploring conditional rewriting logic computations.
J. Symb. Comput., 2015

Automatic Inference of Specifications in the K Framework.
Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014
A rewriting logic approach to the formal specification and verification of web applications.
Sci. Comput. Program., 2014

Using conditional trace slicing for improving Maude programs.
Sci. Comput. Program., 2014

A modular order-sorted equational generalization algorithm.
Inf. Comput., 2014

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).
Proceedings of the Specification, Algebra, and Software, 2014

2013
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).
Sci. Comput. Program., 2013

Rewriting-based repairing strategies for XML repositories.
J. Log. Algebraic Methods Program., 2013

Parametric Exploration of Rewriting Logic Computations.
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Detecting Modular ACU Structural Symmetries.
Proceedings of the 27th International Workshop on Unification, 2013

Automatic inference of specifications using matching logic.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne.
Proceedings of the Programming Languages and Systems, 2013

2012
Backward Trace Slicing for Conditional Rewrite Theories.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Julienne: A Trace Slicer for Conditional Rewrite Theories.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Modular termination of basic narrowing and equational unification.
Log. J. IGPL, 2011

Debugging of Web Applications with Web-TLR
Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

Dynamic Backward Slicing of Rewriting Logic Computations
CoRR, 2011

Backward Trace Slicing for Rewriting Logic Theories.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010
On-demand strategy annotations revisited: An improved on-demand evaluation strategy.
Theor. Comput. Sci., 2010

A compact fixpoint semantics for term rewriting systems.
Theor. Comput. Sci., 2010

An integrated framework for the diagnosis and correction of rule-based programs.
Theor. Comput. Sci., 2010

Completeness of Unfolding for Rewriting Logic Theories.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Approximating Non-interference and Erasure in Rewriting Logic.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

A Tool for Computing the Visual Similarity of Web Pages.
Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010

A fold/unfold transformation framework for rewrite theories extended to CCT.
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Datalog-Based Program Analysis with BES and RWL.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

Model-Checking Web Applications with Web-TLR.
Proceedings of the Automated Technology for Verification and Analysis, 2010

Transformation and Debugging of Functional Logic Programs.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009
Termination of narrowing revisited.
Theor. Comput. Sci., 2009

Defining Datalog in Rewriting Logic.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Abstract Certification of Global Non-interference in Rewriting Logic.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Specification and Verification of Web Applications in Rewriting Logic.
Proceedings of the FM 2009: Formal Methods, 2009

2008
A Visual Technique for Web Pages Comparison.
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Order-Sorted Generalization.
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

A Tool for Automated Certification of Java Source Code in Maude.
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

An Abstract Generic Framework for Web Site Verification.
Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

Modular Termination of Basic Narrowing.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

A Modular Equational Generalization Algorithm.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Termination of Narrowing Using Dependency Pairs.
Proceedings of the Logic Programming, 24th International Conference, 2008

Using Datalog and Boolean Equation Systems for Program Analysis.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Automated Certification of Non-Interference in Rewriting Logic.
Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Semantic Verification of Web System Contents.
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

2007
Removing redundant arguments automatically.
Theory Pract. Log. Program., 2007

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

A Fast Algebraic Web Verification Service.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Automatic Certification of Java Source Code in Rewriting Logic.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2006
Rule-based verification of Web sites.
Int. J. Softw. Tools Technol. Transf., 2006

Verifying Real-Time Properties of tccp Programs.
J. Univers. Comput. Sci., 2006

A Framework for Timed Concurrent Constraint Programming with External Functions.
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

A Semi-Automatic Methodology for Repairing FaultyWeb Sites.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005
Specialization of functional logic programs based on needed narrowing.
Theory Pract. Log. Program., 2005

A semantic framework for the abstract model checking of tccp programs.
Theor. Comput. Sci., 2005

Preface.
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

2004
Rules + strategies for transforming lazy functional logic programs.
Theor. Comput. Sci., 2004

Un Depurador Abstracto, Inductivo y Paramétrico para Programas Multiparadigma.
Rev. Colomb. de Computación, 2004

Abstract Model Checking of tccp programs.
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

A Rewriting-based Framework for Web Sites Verification.
Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

A Symbolic Model Checker for tccp Programs.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Verdi: An Automated Tool for Web Sites Verification.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Automated Verification of Web Sites Using Partial Rewriting.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003
Uniform Lazy Narrowing.
J. Log. Comput., 2003

On-demand Evaluation by Program Transformation.
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

OnDemandOBJ: A Laboratory for Strategy Annotations.
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Abstract correction of first-order functional programs.
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

Correction of Functional Logic Programs.
Proceedings of the Programming Languages and Systems, 2003

Abstract Correction of OBJ-like Programs.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
Correct and Complete (Positive) Strategy Annotations for OBJ.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Redundancy of Arguments Reduced to Induction.
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Improving On-Demand Strategy Annotations.
Proceedings of the Logic for Programming, 2002

Abstract Diagnosis of Functional Programs.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Removing Redundant Arguments of Functions.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
Declarative Debugging of Functional Logic Programs.
Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001

A Debugging Scheme for Functional Logic Programs.
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

2000
Using PE to Automate Program Composition.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Redundancy Analyses in Term Rewriting.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

An Automatic Composition Algorithm for Functional Logic Programs.
Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000

1999
Un Sistema de Transformación para Programas Multiparadigma.
Inteligencia Artif., 1999

UPV-CURRY: An Incremental CURRY Interpreter.
Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

A Partial Evaluation Framework for Curry Programs.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Specialization of Inductively Sequential Functional Logic Programs.
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

A Transformation System for Lazy Functional Logic Programs.
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

An Incremental Needed Narrowing Calculus for Curry.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Partial Evaluation of Functional Logic Programs.
ACM Trans. Program. Lang. Syst., 1998

A Unifying View of Functional and Logic Program Specialization.
ACM Comput. Surv., 1998

Improving Control in Functional Logic Program Specialization.
Proceedings of the Static Analysis, 5th International Symposium, 1998

Polygenetic Partial Evaluation of Lazy Functional Logic Programs.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
Specialization of Lazy Functional Logic Programs.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Safe Folding/Unfolding with Conditional Narrowing.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
A Compositional Semantic Basis for the Analysis of Equational Horn Programs.
Theor. Comput. Sci., 1996

Narrowing-Driven Partial Evaluation of Functional Logic Programs.
Proceedings of the Programming Languages and Systems, 1996

Call-By Name Partial Evaluation of Functional Logic Programs.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Incremental Constraint Satisfaction for Equational Logic Programming.
Theor. Comput. Sci., 1995

Analyses of Unsatisfiability for Equational Logic Programming.
J. Log. Program., 1995

1994
Compositional Analysis for Equational Horn Programs.
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

A Compositional Semantics for Conditional Term Rewriting Systems.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
Incremental Equational Constraint Analyses.
Proceedings of the Logic Programming, 1993

Narrowing Approximations as an Optimization for Equational Logic Programs.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

Using Narrowing Approximations to Optimize Equational Logic Programs.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
Analyses of Inconsistency for Incremental Equational Logic Programming.
Proceedings of the Programming Language Implementation and Logic Programming, 1992

An Equational Constraint Logic Approach to Database Design.
Proceedings of the International Conference on Database and Expert Systems Applications, 1992

1991
Narrowing as an Incremental Constraint Satisfaction Algorithm.
Proceedings of the Programming Language Implementation and Logic Programming, 1991


  Loading...