عنوان

Logic Program Synthesis and Transformation :

شابک

0387198067

شابک

3540198067

شابک

9780387198064

شابک

9783540198062

شماره

b565391

عنوان اصلي

Logic Program Synthesis and Transformation :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Proceedings of LOPSTR 92, Internat. Workshop on Logic .

نام نخستين پديدآور

Ed. Timothy Paul Clement.

محل نشرو پخش و غیره

London

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

1993

نام خاص و کميت اثر

12, 270 s.

عنوان فروست

Workshops in Computing.

متن يادداشت

Bibliogr. na konci kapitol.

متن يادداشت

Logic Program Synthesis via Proof Planning.- Deductive Synthesis of Programs for Query Answering.- Synthesis of Narrowing Programs.- A Unifying View of Structural Induction and Computation Induction for Logic Programs.- Proof Nets.- The LOPS Approach: A Transformational Point of View (Extended Abstract).- Best-first Strategies for Incremental Transformations of Logic Programs.- Deriving Transformations of Logic Programs Using Abstract Interpretation.- A Rationalisation of the ATMS in Terms of Partial Evaluation.- Intensional Query Answering: An Application of Partial Evaluation.- Deletion of Redundant Unary Type Predicates from Logic Programs.- Automatic Termination Analysis.- Application of Unfolding in Prolog Programming.- An Unfold Rule for Full Prolog.- Logimix: A Self-Applicable Partial Evaluator for Prolog.- Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.- On the Transformation of a prolog Program to a More Efficient Binary Program.- Efficient Compilation of Lazy Narrowing into Prolog.- Author Index.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Ed. Timothy Paul Clement.

مستند نام اشخاص تاييد نشده

Timothy Paul Clement

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y