Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings - Couverture souple

Couverture souple

ISBN 10 : 3662173514 ISBN 13 : 9783662173510

Editeur : Springer, 2014

Synopsis

Ecological partial deduction: Preserving characteristic trees without constraints.- Memoing evaluation by source-to-source transformation.- Transformation of left terminating programs: The reordering problem.- Derivation of concurrent algorithms in Tempo.- An argumentation-theoretic approach to logic program transformation.- Complexity of Horn programs.- Studying the cost of logic languages in an abstract interpretation framework for granularity analysis.- Towards automatic control for CLP(?) programs.- Ideal refinement of Datalog programs.- Guiding program development systems by a connection based proof strategy.- Towards an object-oriented methodology for deductive synthesis of logic programs.- Logic program synthesis by induction over Horn Clauses.- Logic program transformation through generalization schemata [extended abstract].- An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations.- Solving deductive planning problems using program analysis and transformation.- Towards a complete proof procedure to prove properties of normal logic programs under the completion.- Termination of logic programs using semantic unification.- On the mechanics of metasystem hierarchies in program transformation.- Efficient translation of lazy functional logic programs into Prolog.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2014
• ISBN 10: 3662173514
• ISBN 13: 9783662173510
• Reliure: Paperback
• Langue: anglais
• Coordonnées du fabricant: non disponible