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)

13 ×#source code
10 ×#logic programming
3 ×#reasoning
3 ×#semantics
2 ×#analysis
2 ×#architecture
2 ×#deduction
2 ×#framework
2 ×#multi
2 ×#on the

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.