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
Feedback