All Stories

  1. Safety enforcement via programmable strategies in Maude

    Article • Journal of Logical and Algebraic Methods in Programming, April 2023, Elsevier

    Prof. María Alpuente

  2. Automated Synthesis of Software Contracts with KindSpec

    Article • January 2023, Springer Science + Business Media

    Prof. María Alpuente

  3. Optimizing Maude Programs via Program Specialization

    Article • January 2023, Springer Science + Business Media

    Prof. María Alpuente

  4. Symbolic Specialization of Rewriting Logic Theories with Presto

    Article • Theory and Practice of Logic Programming, February 2022, Cambridge University Press

    Prof. María Alpuente

  5. Optimization of rewrite theories by equational partial evaluation

    Article • Journal of Logical and Algebraic Methods in Programming, January 2022, Elsevier

    Prof. María Alpuente

  6. A partial evaluation methodology for optimizing rewrite theories incrementally

    Article • MethodsX, January 2022, Elsevier

    Prof. María Alpuente

  7. Variant-Based Equational Anti-unification

    Article • January 2022, Springer Science + Business Media

    Prof. María Alpuente

  8. Order-sorted equational generalization algorithm revisited

    Article • Annals of Mathematics and Artificial Intelligence, September 2021, Springer Science + Business Media

    Prof. María Alpuente

  9. Typed Homeomorphic Embedding modulo Algebraic Axioms

    Article • Fundamenta Informaticae, December 2020, IOS Press

    Prof. María Alpuente

  10. Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System

    Article • Mathematics in Computer Science, February 2020, Springer Science + Business Media

    Prof. María Alpuente

  11. A partial evaluation framework for order-sorted equational programs modulo axioms

    Article • Journal of Logical and Algebraic Methods in Programming, January 2020, Elsevier

    Prof. María Alpuente

  12. Symbolic Analysis of Maude Theories with Narval

    Article • Theory and Practice of Logic Programming, September 2019, Cambridge University Press

    Prof. María Alpuente

  13. Static correction of Maude programs with assertions

    Article • Journal of Systems and Software, July 2019, Elsevier

    Prof. María Alpuente

  14. Imposing assertions in Maude via program transformation

    Article • MethodsX, January 2019, Elsevier

    Prof. María Alpuente

  15. $${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance

    Article • January 2019, Springer Science + Business Media

    Prof. María Alpuente

  16. Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

    Article • January 2019, Springer Science + Business Media

    Prof. María Alpuente

  17. Inferring Safe Maude Programs with ÁTAME

    Article • January 2018, Springer Science + Business Media

    Prof. María Alpuente

  18. Inspecting Maude variants withGLINTS

    Article • Theory and Practice of Logic Programming, August 2017, Cambridge University Press

    Prof. María Alpuente

  19. Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms

    Article • January 2017, Springer Science + Business Media

    Prof. María Alpuente

  20. Symbolic Abstract Contract Synthesis in a Rewriting Framework

    Article • January 2017, Springer Science + Business Media

    Prof. María Alpuente

  21. Assertion-based analysis via slicing withABETS(system description)

    Article • Theory and Practice of Logic Programming, September 2016, Cambridge University Press

    Prof. María Alpuente

  22. Debugging Maude programs via runtime assertion checking and trace slicing

    Article • Journal of Logical and Algebraic Methods in Programming, August 2016, Elsevier

    Prof. María Alpuente

  23. Automatic Inference of Specifications in the K Framework

    Article • Electronic Proceedings in Theoretical Computer Science, December 2015, Open Publishing Association

    Prof. María Alpuente

  24. Exploring conditional rewriting logic computations

    Article • Journal of Symbolic Computation, July 2015, Elsevier

    Prof. María Alpuente

  25. Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

    Article • January 2015, Springer Science + Business Media

    Prof. María Alpuente

  26. Automated abstract certification of non-interference with object aliasing in rewriting logic

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. María Alpuente

  27. A modular order-sorted equational generalization algorithm

    Article • Information and Computation, April 2014, Elsevier

    Prof. María Alpuente

  28. A rewriting logic approach to the formal specification and verification of web applications

    Article • Science of Computer Programming, February 2014, Elsevier

    Prof. María Alpuente

  29. Using conditional trace slicing for improving Maude programs

    Article • Science of Computer Programming, February 2014, Elsevier

    Prof. María Alpuente

  30. ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

    Article • January 2014, Springer Science + Business Media

    Prof. María Alpuente

  31. Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)

    Article • January 2014, Springer Science + Business Media

    Prof. María Alpuente

  32. Rewriting-based repairing strategies for XML repositories

    Article • The Journal of Logic and Algebraic Programming, November 2013, Elsevier

    Prof. María Alpuente

  33. Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010)

    Article • Science of Computer Programming, July 2013, Elsevier

    Prof. María Alpuente

  34. Automatic inference of specifications using matching logic

    Article • January 2013, ACM (Association for Computing Machinery)

    Prof. María Alpuente

  35. Theory and Practice of Model Transformations

    Article • January 2013, Springer Science + Business Media

    Professor Jonathan P Bowen, Prof. María Alpuente, Professor Hiroshi G Okuno, Prof. Francesco Flammini

  36. Slicing-Based Trace Analysis of Rewriting Logic Specifications with i Julienne

    Article • January 2013, Springer Science + Business Media

    Prof. María Alpuente

  37. Backward Trace Slicing for Conditional Rewrite Theories

    Article • January 2012, Springer Science + Business Media

    Prof. María Alpuente

  38. Julienne: A Trace Slicer for Conditional Rewrite Theories

    Article • January 2012, Springer Science + Business Media

    Prof. María Alpuente

  39. Debugging of Web Applications with Web-TLR

    Article • Electronic Proceedings in Theoretical Computer Science, August 2011, Open Publishing Association

    Prof. María Alpuente

  40. Backward Trace Slicing for Rewriting Logic Theories

    Article • January 2011, Springer Science + Business Media

    Prof. María Alpuente

  41. Datalog-Based Program Analysis with BES and RWL

    Article • January 2011, Springer Science + Business Media

    Prof. María Alpuente

  42. Logic-Based Program Synthesis and Transformation

    Article • January 2011, Springer Science + Business Media

    Prof. María Alpuente

  43. An integrated framework for the diagnosis and correction of rule-based programs

    Article • Theoretical Computer Science, October 2010, Elsevier

    Prof. María Alpuente

  44. Approximating Non-interference and Erasure in Rewriting Logic

    Article • September 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. María Alpuente

  45. Completeness of Unfolding for Rewriting Logic Theories

    Article • September 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. María Alpuente

  46. A compact fixpoint semantics for term rewriting systems

    Article • Theoretical Computer Science, August 2010, Elsevier

    Prof. María Alpuente

  47. A Tool for Computing the Visual Similarity of Web Pages

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. María Alpuente

  48. Modular termination of basic narrowing and equational unification

    Article • Logic Journal of IGPL, April 2010, Oxford University Press (OUP)

    Prof. María Alpuente

  49. A fold/unfold transformation framework for rewrite theories extended to CCT

    Article • January 2010, ACM (Association for Computing Machinery)

    Prof. María Alpuente

  50. Abstract Certification of Global Non-interference in Rewriting Logic

    Article • January 2010, Springer Science + Business Media

    Prof. María Alpuente

  51. Defining Datalog in Rewriting Logic

    Article • January 2010, Springer Science + Business Media

    Prof. María Alpuente

  52. Model-Checking Web Applications with Web-TLR

    Article • January 2010, Springer Science + Business Media

    Prof. María Alpuente

  53. On-demand strategy annotations revisited: An improved on-demand evaluation strategy

    Article • Theoretical Computer Science, January 2010, Elsevier

    Prof. María Alpuente

  54. Transformation and Debugging of Functional Logic Programs

    Article • January 2010, Springer Science + Business Media

    Prof. María Alpuente

  55. Termination of narrowing revisited

    Article • Theoretical Computer Science, November 2009, Elsevier

    Prof. María Alpuente

  56. A Tool for Automated Certification of Java Source Code in Maude

    Article • Electronic Notes in Theoretical Computer Science, August 2009, Elsevier

    Prof. María Alpuente

  57. DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer

    Article • Electronic Notes in Theoretical Computer Science, August 2009, Elsevier

    Prof. María Alpuente

  58. Order-Sorted Generalization

    Article • Electronic Notes in Theoretical Computer Science, August 2009, Elsevier

    Prof. María Alpuente

  59. A Visual Technique for Web Pages Comparison

    Article • Electronic Notes in Theoretical Computer Science, April 2009, Elsevier

    Prof. María Alpuente

  60. A Modular Equational Generalization Algorithm

    Article • January 2009, Springer Science + Business Media

    Prof. María Alpuente

  61. Automated Certification of Non-Interference in Rewriting Logic

    Article • January 2009, Springer Science + Business Media

    Prof. María Alpuente

  62. Formal Methods for Industrial Critical Systems

    Article • January 2009, Springer Science + Business Media

    Prof. María Alpuente

  63. Specification and Verification of Web Applications in Rewriting Logic

    Article • January 2009, Springer Science + Business Media

    Prof. María Alpuente

  64. Using Datalog and Boolean Equation Systems for Program Analysis

    Article • January 2009, Springer Science + Business Media

    Prof. María Alpuente

  65. An Abstract Generic Framework for Web Site Verification

    Article • July 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. María Alpuente

  66. An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation

    Article • Electronic Notes in Theoretical Computer Science, April 2008, Elsevier

    Prof. María Alpuente

  67. Semantic Verification of Web System Contents

    Article • January 2008, Springer Science + Business Media

    Prof. María Alpuente

  68. Static Analysis

    Article • January 2008, Springer Science + Business Media

    Prof. María Alpuente

  69. Termination of Narrowing Using Dependency Pairs

    Article • January 2008, Springer Science + Business Media

    Prof. María Alpuente

  70. A Framework for Timed Concurrent Constraint Programming with External Functions

    Article • Electronic Notes in Theoretical Computer Science, July 2007, Elsevier

    Prof. María Alpuente

  71. Removing redundant arguments automatically

    Article • Theory and Practice of Logic Programming, January 2007, Cambridge University Press

    Prof. María Alpuente

  72. Rule-based verification of Web sites

    Article • International Journal on Software Tools for Technology Transfer, July 2006, Springer Science + Business Media

    Prof. María Alpuente

  73. Preface

    Article • Electronic Notes in Theoretical Computer Science, May 2006, Elsevier

    Prof. María Alpuente

  74. Preface

    Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. María Alpuente

  75. Preface

    Article • Electronic Notes in Theoretical Computer Science, January 2006, Elsevier

    Prof. María Alpuente

  76. A semantic framework for the abstract model checking of tccp programs

    Article • Theoretical Computer Science, November 2005, Elsevier

    Prof. María Alpuente

  77. Specialization of functional logic programs based on needed narrowing

    Article • Theory and Practice of Logic Programming, May 2005, Cambridge University Press

    Prof. María Alpuente

  78. A Rewriting-based Framework for Web Sites Verification

    Article • Electronic Notes in Theoretical Computer Science, March 2005, Elsevier

    Prof. María Alpuente

  79. Abstract Model Checking of tccp programs

    Article • Electronic Notes in Theoretical Computer Science, January 2005, Elsevier

    Prof. María Alpuente

  80. A Symbolic Model Checker for tccp Programs

    Article • January 2005, Springer Science + Business Media

    Prof. María Alpuente

  81. Correct and Complete (Positive) Strategy Annotations for OBJ

    Article • Electronic Notes in Theoretical Computer Science, April 2004, Elsevier

    Prof. María Alpuente

  82. Rules + strategies for transforming lazy functional logic programs

    Article • Theoretical Computer Science, January 2004, Elsevier

    Prof. María Alpuente

  83. Verdi: An Automated Tool for Web Sites Verification

    Article • January 2004, Springer Science + Business Media

    Prof. María Alpuente

  84. Abstract Correction of First-Order Functional Programs

    Article • Electronic Notes in Theoretical Computer Science, November 2003, Elsevier

    Prof. María Alpuente

  85. On-demand Evaluation by Program Transformation1 1Work partially supported by CICYT TIC2001-2705-C03-01 and MCYT grants HA2001-0059 and HU2001-0019.

    Article • Electronic Notes in Theoretical Computer Science, September 2003, Elsevier

    Prof. María Alpuente

  86. OnDemandOBJ

    Article • Electronic Notes in Theoretical Computer Science, September 2003, Elsevier

    Prof. María Alpuente

  87. Uniform Lazy Narrowing

    Article • Journal of Logic and Computation, April 2003, Oxford University Press (OUP)

    Prof. María Alpuente

  88. Correction of Functional Logic Programs

    Article • January 2003, Springer Science + Business Media

    Prof. María Alpuente

  89. Abstract Diagnosis of Functional Programs

    Article • January 2003, Springer Science + Business Media

    Prof. María Alpuente

  90. Redundancy of Arguments Reduced to Induction

    Article • Electronic Notes in Theoretical Computer Science, November 2002, Elsevier

    Prof. María Alpuente

  91. A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenc...

    Article • Electronic Notes in Theoretical Computer Science, September 2002, Elsevier

    Prof. María Alpuente

  92. Improving On-Demand Strategy Annotations

    Article • January 2002, Springer Science + Business Media

    Prof. María Alpuente

  93. Removing Redundant Arguments of Functions*

    Article • January 2002, Springer Science + Business Media

    Prof. María Alpuente

  94. Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.

    Article • Electronic Notes in Theoretical Computer Science, December 2001, Elsevier

    Prof. María Alpuente

  95. An Automatic Composition Algorithm for Functional Logic Programs

    Article • January 2000, Springer Science + Business Media

    Prof. María Alpuente

  96. Un Sistema de Transformación para Programas Multiparadigma

    Article • INTELIGENCIA ARTIFICIAL, November 1999, Asociacion Española para la Inteligencia Artificial (AEPIA)

    Prof. María Alpuente

  97. Specialization of inductively sequential functional logic programs

    Article • September 1999, ACM (Association for Computing Machinery)

    Prof. María Alpuente

  98. Specialization of inductively sequential functional logic programs

    Article • ACM SIGPLAN Notices, September 1999, ACM (Association for Computing Machinery)

    Prof. María Alpuente

  99. A Partial Evaluation Framework for Curry Programs

    Article • January 1999, Springer Science + Business Media

    Prof. María Alpuente

  100. A Transformation System for Lazy Functional Logic Programs

    Article • January 1999, Springer Science + Business Media

    Prof. María Alpuente

  101. UPV-Curry: An Incremental Curry Interpreter

    Article • January 1999, Springer Science + Business Media

    Prof. María Alpuente

  102. A unifying view of functional and logic program specialization

    Article • ACM Computing Surveys, September 1998, ACM (Association for Computing Machinery)

    Prof. María Alpuente

  103. Partial evaluation of functional logic programs

    Article • ACM Transactions on Programming Languages and Systems, July 1998, ACM (Association for Computing Machinery)

    Prof. María Alpuente

  104. Improving Control in Functional Logic Program Specialization

    Article • January 1998, Springer Science + Business Media

    Prof. María Alpuente

  105. Specialization of lazy functional logic programs

    Article • ACM SIGPLAN Notices, December 1997, ACM (Association for Computing Machinery)

    Prof. María Alpuente

  106. Safe folding/unfolding with conditional narrowing

    Article • January 1997, Springer Science + Business Media

    Prof. María Alpuente

  107. Specialization of lazy functional logic programs

    Article • January 1997, ACM (Association for Computing Machinery)

    Prof. María Alpuente

  108. A compositional semantic basis for the analysis of equational Horn programs

    Article • Theoretical Computer Science, September 1996, Elsevier

    Prof. María Alpuente

  109. Narrowing-driven partial evaluation of functional logic programs

    Article • January 1996, Springer Science + Business Media

    Prof. María Alpuente

  110. Incremental constraint satisfaction for equational logic programming

    Article • Theoretical Computer Science, May 1995, Elsevier

    Prof. María Alpuente

  111. Analyses of unsatisfiability for equational logic programming

    Article • The Journal of Logic Programming, March 1995, Elsevier

    Prof. María Alpuente

  112. Compositional analysis for equational Horn programs

    Article • January 1994, Springer Science + Business Media

    Prof. María Alpuente

  113. Narrowing approximations as an optimization for equational logic programs

    Article • January 1993, Springer Science + Business Media

    Prof. María Alpuente

  114. Narrowing as an incremental constraint satisfaction algorithm

    Article • January 1991, Springer Science + Business Media

    Prof. María Alpuente

  115. Detecting Modular ACU Structural Symmetries

    Article • EasyChair

    Prof. María Alpuente

  116. Parametric Exploration of Rewriting Logic Computations

    Article • EasyChair

    Prof. María Alpuente

  117. Automatic Certification of Java Source Code in Rewriting Logic

    Article • Springer Science + Business Media

    Prof. María Alpuente

  118. Modular Termination of Basic Narrowing

    Article • Springer Science + Business Media

    Prof. María Alpuente

  119. A Fast Algebraic Web Verification Service

    Article • Springer Science + Business Media

    Prof. María Alpuente

  120. A Semi-Automatic Methodology for Repairing FaultyWeb Sites

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof. María Alpuente

  121. A compositional semantics for conditional term rewriting systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Prof. María Alpuente

  122. Analyses of inconsistency for incremental equational logic programming

    Article • Springer Science + Business Media

    Prof. María Alpuente