- State Space Reduction in the Maude-NRL Protocol Analyzer
- A Rewriting-Based Inference System for the NRL Protocol Analyzer and its Meta-Logical
- On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy
- Abstract Diagnosis of Functional Programs M. Alpuente1
- Abstract Certification of Global Non-Interference in Rewriting Logic
- Termination of Narrowing Revisited 1 Maria Alpuente a,, Santiago Escobar a
- UPVCurry User's Manual S. Escobar M. Alpuente S. Lucas
- Modelizaci'on conceptual declarativa en un lenguaje l'ogicofuncional avanzado \Lambda
- Strategies and analysis techniques for functional program optimization
- Modular Termination of Basic Narrowing Maria Alpuente, Santiago Escobar, and Jose Iborra
- A Note on Syntactic Annotations for Narrowing Mara Alpuente Santiago Escobar Salvador Lucas
- Removing Redundant Arguments of Functions ? Mar a Alpuente, Santiago Escobar, and Salvador Lucas
- A Modular Equational Generalization Maria Alpuente1
- Strategies and Analysis Techniques in Functional Program Optimization
- A Rewriting-Based Inference System for the NRL Protocol Analyzer: Grammar Generation
- Implementing Natural Rewriting and Narrowing Efficiently
- DEPARTAMENTO DE SISTEMAS INFORMATICOS Y COMPUTACION UNIVERSIDAD POLITECNICA DE VALENCIA
- Narrowing and Rewriting Logic: from Foundations to Applications
- Redundancy of Arguments Reduced to Induction ?
- DEPARTAMENTO DE SISTEMAS INFORMATICOS Y COMPUTACION UNIVERSIDAD POLITECNICA DE VALENCIA
- RULE 2004 Preliminary Version On-demand evaluation for Maude 1
- WRLA 2004 Preliminary Version New evaluation commands for Maude within
- Natural Narrowing for General Term Rewriting Systems
- Symbolic Model Checking of Infinite-State Systems Using Narrowing
- Modular Termination of Basic Narrowing and Equational Unification6
- WRLA 2004 Preliminary Version New evaluation commands for Maude within
- Refining Weakly Outermost-Needed Rewriting and Santiago Escobar
- Folding Variant Narrowing and Optimal Variant Termination
- DEPARTAMENTO DE SISTEMAS INFORMATICOS Y COMPUTACION UNIVERSIDAD POLITECNICA DE VALENCIA
- UPV-Curry User's Manual S. Escobar M. Alpuente S. Lucas
- Variant Narrowing and Equational Unification Santiago Escobar1
- Folding Variant Narrowing and Optimal Variant Termination
- Unification and Narrowing in Maude 2.4 Manuel Clavel1,2, Francisco Duran3, Steven Eker4, Santiago Escobar5,
- Termination of Narrowing using Dependency Pairs
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Diffie-Hellman Cryptographic Reasoning in the Maude-NRL Protocol Analyzer
- SecReT 2006 Equational Cryptographic Reasoning in the
- Natural Rewriting for General Term Rewriting Systems
- A General Natural Rewriting Strategy Santiago Escobar1
- DEPARTAMENTO DE SISTEMAS INFORMTICOS Y COMPUTACIN
- Strategies and analysis techniques for functional program optimization
- Automated certification of Non-Interference in Rewriting Logic
- UPVCurry: Un int'erprete de Curry con tipos polim'orficos y E/S declarativa mon'adica \Lambda
- Santiago Escobar Rom'an Facultad de Inform' atica
- Redundancy Analyses in Term Rewriting (extended abstract) ?
- Abstract Diagnosis of Functional Programs ? M. Alpuente 1 , M. Comini 2 , S. Escobar 1 , M. Falaschi 2 , and S. Lucas 1
- UPV-Curry: An Incremental Curry Interpreter with Polymorphic Types and Monadic I/O*
- Implementing Natural Rewriting and Narrowing Eciently ?
- A program transformation for implementing on-demand strategy annotations ?
- Towards (constructor) normal forms for Maude within Full Maude
- Modelizaci'on conceptual declarativa en un lenguaje l'ogico-funcional avanzado*
- UPV-Curry: Un int'erprete de Curry con tipos polim'orficos y E/S declarativa mon'adica*
- A Compact Fixpoint Semantics for Term Rewriting Systems
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
- Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA
