E-Books durchsuchen

Logic-Based Program Synthesis and Transformation [2012]

1
Analysis of Logic Programs Using Regular Tree Languages
4
Dynamic Symbolic Computation for Domain-Specific Language Implementation
25
Resource-Driven CLP-Based Test Case Generation
42
A Declarative Embedding of XQuery in a Functional-Logic Language
57
Automata-Based Computation of Temporal Equilibrium Models
73
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees
90
Clones in Logic Programs and How to Detect Them
106
Using Real Relaxations during Program Specialization
123
Marker-Directed Optimization of UnCAL Graph Transformations
139
Modular Extensions for Modular (Logic) Languages
155
Meta-predicate Semantics
173
A Strategy Language for Graph Rewriting
189
Improved Termination Analysis of CHR Using Self-sustainability Analysis
205
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations
221
Probabilistic Termination of CHRiSM Programs
237
A Linear Operational Semantics for Termination and Complexity Analysis of <Emphasis FontCategory="SansSerif">ISO Prolog</Emphasis>
Feedback