Verwandte Artikel zu Logic Program Synthesis and Transformation: Proceedings...

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 - Softcover

 
9781447134954: Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Program Equivalence, Program Development and Integrity Checking.- Program Specification and Synthesis in Constructive Formal Systems.- Synthesis and Transformation of Logic Programs from Constructive, Inductive Proof.- Towards Stepwise, Schema-guided Synthesis of Logic Programs.- Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract).- Formal Program Development in Modular Prolog: A Case Study.- Towards Synthesis of Nearly Pure Prolog Programs (Extended Abstract).- Formal Validation of Transformation Schemata.- Schema-Based Transformations of Logic Programs.- An Automatic Transformation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract).- On Using Mode Input-output for Transforming Logic Programs.- Abstract Interpretation and Recursive Behaviour of Logic Programs.- Speed-up Transformations of Logic Programs by Abstraction and Learning.- Pruning Operators for Partial Evaluation.- Specialisation of a Unification Algorithm.- Semantics-based Partial Evaluation of Prolog Programs.- Prolog Program Transformations and Meta-Interpreters.- Global Search Algorithms and the Constraint Logic Programming Framework (Extended Abstract).- Automated Translation of Occam to a Concurrent Logic Language.- A Method for the Determinisation of Propositional Temporal Formulae.- Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract).- Using a Prolog Prototype for Designing an Object Oriented Scheme.- Non-Determinism and Lazy Evaluation in Logic Programming.- Query Optimisation in an Object-Oriented Database using Prolog (Extended Abstract).- Author Index.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2014
  • ISBN 10 1447134958
  • ISBN 13 9781447134954
  • EinbandPaperback
  • SpracheEnglisch
  • Kontakt zum HerstellerNicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

9783540197423: Logic Program Synthesis and Transformation: Proceedings Of Lopstr 91, International Workshop On Logic Program Synthesis And Transformation, University ... University of Manchester, 4-5 July 1991

Vorgestellte Ausgabe

ISBN 10:  3540197427 ISBN 13:  9783540197423
Verlag: Springer, 1992
Softcover