Logic Based Program Synthesis and Transformation - Couverture souple

Bruynooghe, Maurice

Couverture souple

ISBN 10 : 3662175088 ISBN 13 : 9783662175088

Editeur : Springer, 2014

Synopsis

Invited Talk.- Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.- Specification and Synthesis.- Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.- Correct OO Systems in Computational Logic.- Specification and Synthesis of Hybrid Automata for Physics-Based Animation.- Adding Concrete Syntax to a Prolog-Based Program Synthesis System.- Verification.- Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables.- Formal Reasoning about Efficient Data Structures: A Case Study in ACL2.- Analysis.- A Program Transformation for Backwards Analysis of Logic Programs.- An Efficient Staging Algorithm for Binding-Time Analysis.- Proving Termination with Adornments.- Transformation and Specialisation.- Constructively Characterizing Fold and Unfold.- Deterministic Higher-Order Patterns for Program Transformation.- From Interpreter to Logic Engine by Defunctionalization.- Linearization by Program Transformation.- Continuation Semantics as Horn Clauses.- Constraints.- Simplification of Database Integrity Constraints Revisited: A Transformational Approach.- Integration and Optimization of Rule-Based Constraint Solvers.- Introducing esra, a Relational Language for Modelling Combinatorial Problems.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 3662175088
• ISBN 13: 9783662175088
• Reliure: Broché
• Nombre de pages: 248
• Coordonnées du fabricant: KINESIS; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Allemagne