Beschreibung
InhaltsangabeProgram 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.
