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>