عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0387198644
شابک
3540198644
شابک
9780387198644
شابک
9783540198642
شماره کتابشناسی ملی
شماره
b565409
عنوان و نام پديدآور
عنوان اصلي
Logic program synthesis and transformation :
نام عام مواد
[Book]
ساير اطلاعات عنواني
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.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London Springer
تاریخ نشرو بخش و غیره
1994
مشخصات ظاهری
نام خاص و کميت اثر
XII, 245 Seiten Diagramme 24 cm
فروست
عنوان فروست
Workshops in computing.
يادداشت کلی
متن يادداشت
Literaturangaben
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logische Programmierung
موضوع مستند نشده
Softwareentwicklung
موضوع مستند نشده
Systemtransformation
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
publ. in collab. with the British Computer Society. Yves Deville (ed.)
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
British Computer Society
مستند نام اشخاص تاييد نشده
Yves Deville
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
