Buch, Englisch, 337 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 601 g
Reihe: Workshops in Computing
Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4¿5 July 1991
Buch, Englisch, 337 Seiten, Paperback, Format (B × H): 170 mm x 244 mm, Gewicht: 601 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19742-3
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.