Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings
This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers pre...
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
883 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic program synthesis and transformation-- Meta-programming in Logic, 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 1994, proceedings, Laurent Fribourg, Franco Turini, (eds.), Heidelberg, Springer-Verlag, 1994, 1 vol. (IX-450 p.), Lecture notes in computer science, 3-540-58792-6 • Logic Program Synthesis and Transformation - Meta-Programming in Logic, Texte imprimé, 9783662203002 |
Table of Contents:
- 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
- Gödel 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.