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

Brossura

ISBN 10: 3662173514 ISBN 13: 9783662173510

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• ISBN 10: 3662173514
• ISBN 13: 9783662173510
• Rilegatura: Paperback
• Lingua: Inglese
• Contatto del produttore: non disponibile