## Laurent Fribourg, Franco Turini

*Proceedings of the Fourth International Workshops on Logic Programming Synthesis and Transformation, and Meta-Programming in Logic*

LOPSTR/META, 1994.

@proceedings{LOPSTR-1994, address = "Pisa, Italy", editor = "Laurent Fribourg and Franco Turini", isbn = "3-540-58792-6", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Proceedings of the Fourth International Workshops on Logic Programming Synthesis and Transformation, and Meta-Programming in Logic}", volume = 883, year = 1994, }

### Contents (27 items)

- LOPSTR-1994-Basin #framework #logic programming #source code
- Logic Frameworks for Logic Programs (DAB), pp. 1–16.
- LOPSTR-1994-BensaouG #source code
- An Extended Transformation System for CLP Programs (NB, IG), pp. 17–35.
- LOPSTR-1994-BoulangerB #analysis #logic programming #program transformation #using
- Using Call/Exit Analysis for Logic Program Transformation (DB, MB), pp. 36–50.
- LOPSTR-1994-CookG #analysis #source code #termination
- A Transformation System for Definite Programs Based on Termination Analysis (JC, JPG), pp. 51–68.
- LOPSTR-1994-FlenerP #induction #on the #reasoning #synthesis #using
- On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects (PF, LP), pp. 69–87.
- LOPSTR-1994-GilbertHZ #behaviour #source code #specification
- Transforming Specifications of Observable Behaviour into Programs (DRG, CJH, JZ), pp. 88–103.
- LOPSTR-1994-LauO #deduction #framework #logic programming #on the #source code #specification #synthesis
- On Specification Frameworks and Deductive Synthesis of Logic Programs (KKL, MO), pp. 104–121.
- LOPSTR-1994-Leuschel #partial evaluation
- Partial Evaluation of the “Real Thing” (ML), pp. 122–137.
- LOPSTR-1994-MarakakisG #data type #design #logic programming #source code #top-down #using
- Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types (EIM, JPG), pp. 138–153.
- LOPSTR-1994-Renault #execution #source code
- Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.
- LOPSTR-1994-SakamaS #approach #declarative #deduction #logic programming #source code
- Partial Deduction of Disjunctive Logic Programs: A Declarative Approach (CS, HS), pp. 170–182.
- LOPSTR-1994-SemeraroEMBP #case study #learning #logic #source code
- Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL (GS, FE, DM, CB, MJP), pp. 183–198.
- LOPSTR-1994-SolnonR #dependence #type inference
- Propagation of Inter-argument Dependencies in “Tuple-distributive” Type Inference Systems (CS, MR), pp. 199–214.
- LOPSTR-1994-TarauD #continuation #first-order #logic programming
- Logic Programming and Logic Grammars with First-Order Continuations (PT, VD), pp. 215–230.
- LOPSTR-1994-Wiggins #re-engineering
- Improving the Whelk System: A Type-Theoretic Reconstruction (GAW), pp. 231–247.
- LOPSTR-1994-Harmelen #cost analysis
- A Model of Costs and Benefits of Meta-Level Computation (FvH), pp. 248–261.
- LOPSTR-1994-BarklundBD #logic programming #multi #programming language
- A Basis for a Multi-Level Meta-Logic Programming Language (JB, KB, PD), pp. 262–275.
- LOPSTR-1994-Mircheva #logic programming #source code #testing
- Logic Programs with Tests (MM), pp. 276–292.
- LOPSTR-1994-Dunin-Keplicz #architecture #development #multi #source code
- An Architecture with Multiple Meta-Levels for the Development of Correct Programs (BDK), pp. 293–310.
- LOPSTR-1994-BossiE #semantics #source code
- More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting’s Semantics (AB, SE), pp. 311–331.
- LOPSTR-1994-HoekMT #semantics
- Formal Semantics of Temporal Epistemic Reflection (WvdH, JJCM, JT), pp. 332–352.
- LOPSTR-1994-Treur #architecture #reasoning #semantics
- Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning (JT), pp. 353–376.
- LOPSTR-1994-BrogiC #logic programming #metalanguage #source code
- Gödel as a Meta-Language for Composing Logic Programs (AB, SC), pp. 377–394.
- LOPSTR-1994-Hill #metaprogramming
- A Module System for Meta-Programming (PMH), pp. 395–409.
- LOPSTR-1994-AttardiS #proving
- Building Proofs in Context (GA, MS), pp. 410–424.
- LOPSTR-1994-GiunchigliaC #reasoning
- Introspective Metatheoretic Reasoning (FG, AC), pp. 425–439.
- LOPSTR-1994-CominiLV #debugging #logic programming
- Abstract Debugging of Logic Program (MC, GL, GV), pp. 440–450.

13 ×#source code

10 ×#logic programming

3 ×#reasoning

3 ×#semantics

2 ×#analysis

2 ×#architecture

2 ×#deduction

2 ×#framework

2 ×#multi

2 ×#on the

10 ×#logic programming

3 ×#reasoning

3 ×#semantics

2 ×#analysis

2 ×#architecture

2 ×#deduction

2 ×#framework

2 ×#multi

2 ×#on the