Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic Program Synthesis and Transformation
  • Produktbild: Logic Program Synthesis and Transformation
Band 1463

Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.09.1998

Herausgeber

Norbert E. Fuchs

Verlag

Springer Berlin

Seitenzahl

343

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

534 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65074-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.09.1998

Herausgeber

Norbert E. Fuchs

Verlag

Springer Berlin

Seitenzahl

343

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

534 g

Auflage

1998

Sprache

Englisch

ISBN

978-3-540-65074-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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 Program Synthesis and Transformation
  • Produktbild: Logic Program Synthesis and Transformation

  • A Multi-level Approach to Program Synthesis.- Programs Without Failures.- Generalised Logic Program Transformation Schemas.- Logic Program Schemas, Constraints, and Semi-unification.- Implicit Program Synthesis by a Reversible Metainterpreter.- Termination Analysis for Tabled Logic Programming.- On Correct Program Schemas.- Analysis of Logic Programs with Delay.- Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs.- Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract).- Unfolding the Mystery of Mergesort.- Towards a Logic for Reasoning About Logic Programs Transformation.- A Higher Order Reconstruction of Stepwise Enhancement.- Development of Correct Transformation Schemata for Prolog Programs.- Constrained Regular Approximation of Logic Programs.- A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories.- To Parse or Not To Parse.