عنوان

Logic program synthesis and transformation - meta-programming in logic :

(Number (ISBN

3540587926

(Number (ISBN

9783540587927

Number

b538804

Title Proper

Logic program synthesis and transformation - meta-programming in logic :

General Material Designation

[Book]

Other Title Information

international workshops of LOPSTR 94 and META 94, Pisa, Italy, June 20-21 1994

First Statement of Responsibility

Laurent Fribourg, Franco Turini (Eds.).

Place of Publication, Distribution, etc.

Berlin

Name of Publisher, Distributor, etc.

Springer-Verlag

Date of Publication, Distribution, etc.

©1994.

Specific Material Designation and Extent of Item

xii, 245 pages : illustrations ; 24 cm.

Series Title

Lecture notes in computer science, 883.

Text of Note

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

Electronic name

[Book]

Y