|
" Logic Program Synthesis and Transformation : "
Ed. Timothy Paul Clement.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745442
|
| Doc. No
|
:
|
b565391
|
| Main Entry
|
:
|
Ed. Timothy Paul Clement.
|
| Title & Author
|
:
|
Logic Program Synthesis and Transformation : : Proceedings of LOPSTR 92, Internat. Workshop on Logic .\ Ed. Timothy Paul Clement.
|
| Publication Statement
|
:
|
London : Springer, 1993
|
| Series Statement
|
:
|
Workshops in Computing.
|
| Page. NO
|
:
|
12, 270 s.
|
| ISBN
|
:
|
0387198067
|
|
|
:
|
: 3540198067
|
|
|
:
|
: 9780387198064
|
|
|
:
|
: 9783540198062
|
| Notes
|
:
|
Bibliogr. na konci kapitol.
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
QA76.63E385 1993
|
| Added Entry
|
:
|
Timothy Paul Clement
|
| |