منو
رکورد قبلیرکورد بعدی

" Logic program synthesis and transformation : "


Document Type : BL
Record Number : 745460
Doc. No : b565409
Main Entry : publ. in collab. with the British Computer Society. Yves Deville (ed.)
Title & Author : Logic program synthesis and transformation : : proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993\ publ. in collab. with the British Computer Society. Yves Deville (ed.)
Publication Statement : London Springer, 1994
Series Statement : Workshops in computing.
Page. NO : XII, 245 Seiten Diagramme 24 cm
ISBN : 0387198644
: : 3540198644
: : 9780387198644
: : 9783540198642
Notes : Literaturangaben
Contents : Toward the Synthesis of Constraint Propagation Algorithms.- A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.- Reachability Analysis for the Extension Procedure - A Topological Result.- Inductive Synthesis of Logic Programs and Inductive Logic Programming.- Induction of Prolog Programs with Markus.- A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).- Guiding Synthesis Proofs.- Combining Prolog Programs in a Techniques Editing System (Abstract).- Designing Prolog Programming Techniques.- Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies.- The Power of Partial Evaluation.- Specialising the Ground Representation in the Logic Programming Language Goedel.- Synthesis of Programs from Unfold/Fold Proofs.- Some Further Issues in Finite Unfolding (Abstract).- A Transformation Based on the Equality Between Terms.- Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.- Memoing with Abstract Answers and Delphi Lemmas.- Using Abstract Interpretation for Goal Replacement.- Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.- Author Index.
Subject : Logische Programmierung
Subject : Softwareentwicklung
Subject : Systemtransformation
Added Entry : British Computer Society
: Yves Deville
copyhttps://lib.clisel.com/site/catalogue/745460
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟