- A Semantic Framework for the Abstract Model Checking of tccp programs 1
- UNIVERSIDAD POLITECNICA DE VALENCIA Departamento de Sistemas Informticos y Computacin
- A Semantics for Tracing Declarative Multi-Paradigm Programs
- Sistemas de reescritura de redes* M. Llorens, J. Oliver
- Correction of Functional Logic Programs ? M. Alpuente 1 D. Ballis 2 F. J. Correa 3 M. Falaschi 2
- Filtering of XML Documents1 Dip. Matematica e Informatica,
- Operational Termination of Membership Equational Programs: the Order-Sorted Way
- Universidad Politecnica de Valencia Departamento de Sistemas Informaticos y Computacion
- Electronic Notes in Theoretical Computer Science 64 (2002) URL: http://www.elsevier.nl/locate/entcs/volume64.html 34 pages
- INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS1 Int. J. Intel. Systems XX, yyyzzz (1999)
- Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes ?
- 1 Introduction Safe Folding/Unfolding with Conditional
- A Partial Evaluation Tool for Multi-Paradigm Declarative Languages
- Towards CNC Programming Using Haskell , C. Ochoa2
- Especializaci on de Programas L ogico{Funcionales Perezosos.
- Towards Router Specification in Curry: The Language ROSE
- Cost-Augmented Narrowing-Driven Specialization German Vidal
- On-the-fly model checking for C programs with extended CADP in FMICS-jETI Maria del Mar Gallardo, Pedro Merino
- A Practical Partial Evaluator for a MultiParadigm Declarative Language ?
- A Symbolic Model checker for tccp Programs M. Alpuente1
- Symbolic Profiling for Multi-Paradigm Declarative Languages
- Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable
- DATALOG SOLVE: A Datalog-Based Demand-Driven Program Analyzer1
- A Semantic Framework for the Abstract Model Checking of tccp programs #
- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
- 1 Introduction Corresponding Author
- A Symbolic Model checker for tccp Programs # M. Alpuente 1 , M. Falaschi 2 , and A. Villanueva 1
- 1 Introduction unification unification
- An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs
- A Semantic Framework for the Abstract Model Checking of tccp programs 1
- Specification and Verification of Web Applications in Rewriting Logic
- A Fast Algebraic Web Verification Service M. Alpuente1
- DEPARTAMENTO DE SISTEMAS INFORMATICOS Y COMPUTACION UNIVERSIDAD POLITECNICA DE VALENCIA
- Submitted to: c M. Alpuente, D. Ballis, J. Espert, F. Frechina, & D. Romero
- Completeness of Unfolding for Rewriting Logic Theories
- Model-checking Web Applications with Maria Alpuente1
- A Tool for Computing the Visual Similarity of Web Pages Maria Alpuente and Daniel Romero
- An Abstract Generic Framework for Web Site Verification M. Alpuente P. Ojeda D. Romero
- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs
- On-the-Fly Data Flow Analysis based on Verification Technology
- A Semi-Automatic Methodology for Repairing Faulty Web Sites Maria Alpuente
- Universidad Politecnica de Valencia Departamento de Sistemas Informaticos y Computacion
- Universidad Politecnica de Valencia Departamento de Sistemas Informaticos y Computacion
- Verifying Real-Time Properties of tccp Programs M. Alpuente M.M. Gallardo , E. Pimentel A. Villanueva
- Electronic Notes in Theoretical Computer Science 57 (2001) URL: http://www.elsevier.nl/locate/entcs/volume57.html 24 pages
- Redes Reconfigurables Controladas por Marcado: Redes de Petri con Cambios
- Universit a degli Studi di Udine Dipartimento di Matematica e Informatica
- 1. Introduction Mar'ia Alpuente Moreno Falaschi Maurizio Gabbrielli
- A Transformation System for Lazy Functional Logic Programs ?
- 1 Introduction Narrowingdriven Partial Evaluation of
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- An Operational Semantics for Declarative Multi-Paradigm Languages
- Buggy User's Manual Mar a Alpuente
- Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation ?
- Abstract Model Checking of tccp programs Mar a Alpuente 1;2 Mar a del Mar Gallardo 1;3
- Modeling Concurrent Systems: Reconfigurable Nets
- Lazy Narrowing and Needed Narrowing: A Comparison
- An Abstract Analysis Framework for Synchronous Concurrent Languages based on
- Electronic Notes in Theoretical Computer Science 70 No. 6 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 22 pages
- 1 Introduction Narrowing Approximations as an Optimization
- C C f C C f C C 1 Introduction
- A Lightweight Approach to Program Specialization
- Time Equations for Lazy Functional (Logic) Languages
- Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation
- A Deterministic Operational Semantics for Functional Logic Programs
- Uniform Lazy Narrowing Maria Alpuente1
- Run-Time Profiling of Functional Logic Programs
- Using Datalog and Boolean Equation Systems for Program Analysis
- A Semantic Framework for the Abstract Model Checking of tccp programs
- Specialization of Functional Logic Programs with Dynamic Scheduling ?
- CostAugmented NarrowingDriven Specialization DSIC, Technical University of Valencia
- Author: Elvira Albert Title: Partial Evaluation of Multi-Paradigm Declarative
- Source-Level Abstract Pro ling for Multi-Paradigm Declarative Languages ?
- Datalog-based Program Analysis with BES and RWL
- Using an Abstract Representation to Specialize Functional Logic Programs ?
- Verifying RealTime Properties of tccp Programs # M. Alpuente M.M. Gallardo , E. Pimentel A. Villanueva
- Program Specialization Based on Dynamic Slicing Claudio Ochoa1
- Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
- Extensi'on del c'alculo para la Modelizaci'on de Procesos Concurrentes
- 1 Introduction innermost lazy
- Dynamic Slicing Based on Redex Trails Claudio Ochoa
- Fixing Web Sites Using Correction Strategies1 Dip. Matematica e Informatica,
- UNIVERSIDAD POLITCNICA DE VALENCIA DEPARTAMENTO DE SISTEMAS INFORMTICOS Y COMPUTACIN
- A Framework for Timed Concurrent Constraint Programming with External
- An Automatic Composition Algorithm for Functional Logic Programs
- 1 Introduction Compositional Analysis for
- 1 Introduction initial algebra
- abstract narrower THE JOURNAL OF LOGIC PROGRAMMING
- Electronic Notes in Theoretical Computer Science 64 (2002) URL: http://www.elsevier.nl/locate/entcs/volume64.html 38 pages
- Modular Termination of Basic Narrowing Maria Alpuente, Santiago Escobar, and Jose Iborra
- Incremental Constraint Satisfaction for Equational Logic Programming *
- Fundamentals of context-sensitive rewriting ? Salvador Lucas
- A Practical Partial Evaluator for a Multi-Paradigm Declarative Language?
- Context-sensitive computations in confluent programs ?
- Conditional Narrowing with Constructive Negation?
- Needed Reductions with Context-Sensitive Rewriting?
- Efficient Strong Sequentiality Using Replacement Restrictions?
- Software as Learning: Quality Factors and LifeCycle Revised *
- Termination of Narrowing Revisited 1 Maria Alpuente a,, Santiago Escobar a
- Germ'an Vidal Oriola Doctor en Inform'atica
- Operational Semantics for Lazy Functional Logic Programs ?
- 1 Introducci'on TIC 920793
- 1 Introduction disequations normal equational theory
- Electronic Notes in Theoretical Computer Science 76 (2002) URL: http://www.elsevier.nl/locate/entcs/volume76.html 19 pages
- TESIS DOCTORAL NEGACION CONSTRUCTIVA PARA
- Electronic Notes in Theoretical Computer Science 64 (2002) URL: http://www.elsevier.nl/locate/entcs/volume64.html 47 pages
- 1 Introduction MultiParadigm Logic Programming
- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
- The Semantics of Equational Logic Programming as an instance of CLP
- A new proposal of Concurrent Process Calculus? Salvador Lucas and Javier Oliver
- Root-neededness and approximations of neededness* Salvador Lucas
- Specialization of Lazy Functional Logic Programs *
- A Compositional Semantic Basis for the Analysis of Equational Horn Programs*
- A Unifying View of Functional and Logic Program Specialization
- Transformations for Efficient Evaluations in Functional Programming?
- Experiments with the Call-by-Value Partial Evaluator* M. Alpuentex M. Falaschi { G. Vidalx
- Specialization of Functional Logic Programs with Dynamic Scheduling?
- UPV-Curry: An Incremental Curry Interpreter? M. Alpuente S. Escobar S. Lucas
- Narrowing-driven Partial Evaluation of Functional Logic Programs ?
- Improving Functional Logic Programs by Difference-Lists
- Measuring the Effectiveness of Partial Evaluation? ??
- A Compositional Semantics for Conditional Term Rewriting Systems *
- An Automatic Composition Algorithm for Functional Logic Programs
- A Termination Ordering for Higher Order Rewrite Olav Lysne ? and Javier Piris ??
- Measuring the Effectiveness of Partial Evaluation ? ??
- Symbolic Pro ling for Multi-Paradigm Declarative Languages ?
- Symbolic Model Checking for Timed Concurrent Constraint Programs ?
- A Rewriting-based Framework for Web Sites Verification
- An Embedded Language Approach to Router Specification in Curry
- permissions@acm.org partial evaluation
- Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes?
- Specialization of Inductively Sequential Functional Logic Programs Mar'ia Alpuentey Michael Hanusz Salvador Lucasy Germ'an Vidaly
- Safe Folding/Unfolding with Conditional Narrowing?
- Narrowing Approximations as an Optimization for Equational Logic Programs ?
- J. LOGIC PROGRAMMING 1993:12:1-199 * ANALYSES OF UNSATISFIABILITY FOR
- Source-Level Abstract Profiling for Multi-Paradigm Declarative Languages ?
- Strongly sequential and inductively sequential term rewriting systems Michael Hanus* Salvador Lucasy Aart Middeldorpz
- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
- Cost-Augmented Narrowing-Driven Specialization Germ'an Vidal
- Derivaciones perezosas en Programaci'on L'ogica con restricciones ecuacionales*
- Termination of context-sensitive rewriting by rewriting ?
- Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation?
- Using an Abstract Representation to Specialize Functional Logic Programs?
- Compositional Analysis for Equational Horn Programs?
- A Transformation System for Lazy Functional Logic Programs?
- UNIVERSIDAD POLITECNICA DE VALENCIA departamento de sistemas informaticos y computacion
