E-Books durchsuchen
Logic Based Program Synthesis and Transformation [2004]
- 1
-
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce
- 20
-
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures
- 34
-
Correct OO Systems in Computational Logic
- 54
-
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
- 56
-
Adding Concrete Syntax to a Prolog-Based Program Synthesis System
- 59
-
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables
- 75
-
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2
- 92
-
A Program Transformation for Backwards Analysis of Logic Programs
- 106
-
An Efficient Staging Algorithm for Binding-Time Analysis
- 108
-
Proving Termination with Adornments
- 110
-
Constructively Characterizing Fold and Unfold
- 128
-
Deterministic Higher-Order Patterns for Program Transformation
- 143
-
From Interpreter to Logic Engine by Defunctionalization
- 160
-
Linearization by Program Transformation
- 176
-
Continuation Semantics as Horn Clauses
- 178
-
Simplification of Database Integrity Constraints Revisited: A Transformational Approach
- 198
-
Integration and Optimization of Rule-Based Constraint Solvers
- 214
-
Introducing <Emphasis Type="SmallCaps">esra</Emphasis>, a Relational Language for Modelling Combinatorial Problems