KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic Based Program Synthesis and Transformation
  • Produktbild: Logic Based Program Synthesis and Transformation
Band 3018

Logic Based Program Synthesis and Transformation 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2004

Abbildungen

X, 238 p.

Herausgeber

Maurice Bruynooghe

Verlag

Springer Berlin

Seitenzahl

238

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

382 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-22174-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2004

Abbildungen

X, 238 p.

Herausgeber

Maurice Bruynooghe

Verlag

Springer Berlin

Seitenzahl

238

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

382 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-22174-6

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logic Based Program Synthesis and Transformation
  • Produktbild: Logic Based Program Synthesis and Transformation
  • 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.