عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540587926
شابک
9783540587927
شماره کتابشناسی ملی
شماره
b538804
عنوان و نام پديدآور
عنوان اصلي
Logic program synthesis and transformation - meta-programming in logic :
نام عام مواد
[Book]
ساير اطلاعات عنواني
international workshops of LOPSTR 94 and META 94, Pisa, Italy, June 20-21 1994
نام نخستين پديدآور
Laurent Fribourg, Franco Turini (Eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
©1994.
مشخصات ظاهری
نام خاص و کميت اثر
xii, 245 pages : illustrations ; 24 cm.
فروست
عنوان فروست
Lecture notes in computer science, 883.
یادداشتهای مربوط به مندرجات
متن يادداشت
Logic frameworks for logic programs.- An extended transformation system for CLP programs.- Using call/exit analysis for logic program transformation.- A transformation system for definite programs based on termination analysis.- On the use of inductive reasoning in program synthesis: Prejudice and prospects.- Transforming specifications of observable behaviour into programs.- On specification frameworks and deductive synthesis of logic programs.- Partial evaluation of the "real thing".- Schema-based top-down design of logic programs using abstract data types.- Generalizing extended execution for normal programs.- Partial deduction of disjunctive logic programs: A declarative approach.- Avoiding non-termination when learning logic programs: A case study with FOIL and FOCL.- Propagation of inter-argument dependencies in "Tuple-distributive" type inference systems.- Logic programming and logic grammars with first-order continuations.- Improving the Whelk system: A type-theoretic reconstruction.- A model of costs and benefits of meta-level computation.- A basis for a multilevel metalogic programming language.- Logic programs with tests.- An architecture with multiple meta-levels for the development of correct programs.- More on unfold/fold transformations of normal programs: Preservation of fitting's semantics.- Formal semantics of temporal epistemic reflection.- Temporal semantics of meta-level architectures for dynamic control of reasoning.- Goedel as a meta-language for composing logic programs.- A module system for meta-programming.- Building proofs in context.- Introspective metatheoretic reasoning.- Abstract debugging of logic programs.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic programming -- Congresses.
موضوع مستند نشده
Logic programming.
موضوع مستند نشده
Programming languages (Electronic computers) -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Laurent Fribourg, Franco Turini (Eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Franco Turini
مستند نام اشخاص تاييد نشده
Laurent Fribourg
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
