Articoli correlati a 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 - Brossura

 
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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2014
  • ISBN 10 1447134958
  • ISBN 13 9781447134954
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3540197427 ISBN 13:  9783540197423
Casa editrice: Springer, 1992
Brossura