Yves Deville
Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation
LOPSTR, 1993.

@proceedings{LOPSTR-1993,
	address       = "Louvain-la-Neuve, Belgium",
	editor        = "Yves Deville",
	isbn          = "['3-540-19864-4', '0-387-19864-4']",
	publisher     = "{Springer-Verlag}",
	series        = "{Workshops in Computing}",
	title         = "{Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation}",
	year          = 1993,
}

Contents (19 items)

6 ×#source code
5 ×#synthesis
4 ×#prolog
3 ×#logic programming
3 ×#proving
2 ×#automation
2 ×#induction
2 ×#using

LOPSTR-1993-Smith #algorithm #constraints #synthesis #towards

Towards the Synthesis of Constraint Propagation Algorithms (DRS), pp. 1–9.

LOPSTR-1993-LauO #deduction #logic programming #source code #specification #synthesis

A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs (KKL, MO), pp. 10–31.

LOPSTR-1993-Neugebauer #analysis #reachability

Reachability Analysis for the Extension Procedure — A Topological Result (GN), pp. 32–44.

LOPSTR-1993-BergadanoG #induction #logic programming #source code #synthesis

Inductive Synthesis of Logic Programs and Inductive Logic Programming (FB, DG), pp. 45–56.

LOPSTR-1993-Grobelnik #induction #prolog #source code

Induction of Prolog Programs with Markus (MG), pp. 57–63.

LOPSTR-1993-MaddenHGB #automation #generative #performance #proving #source code #theorem proving #using

A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (PM, JH, IG, AB), pp. 64–66.

LOPSTR-1993-LombartWD #proving #synthesis

Guiding Synthesis Proofs (VL, GAW, YD), pp. 67–81.

LOPSTR-1993-Vargas-VeraRI #editing #prolog #source code

Combining Prolog Programs in a Techniques Editing System (MVV, DSR, RI), pp. 82–84.

LOPSTR-1993-Vasconcelos #design #programming #prolog

Designing Prolog Programming Techniques (WWV), pp. 85–99.

LOPSTR-1993-Johansson #incremental #interactive #using

Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies (ALJ), pp. 100–112.

LOPSTR-1993-Waal #partial evaluation #power of

The Power of Partial Evaluation (DAdW), pp. 113–123.

LOPSTR-1993-Gurr #logic programming #programming language #representation

Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.

LOPSTR-1993-ProiettiP #proving #source code #synthesis

Synthesis of Programs from Unfold/Fold Proofs (MP, AP), pp. 141–158.

LOPSTR-1993-MartensS #finite

Some Further Issues in Finite Unfolding (BM, DDS), pp. 159–161.

LOPSTR-1993-Neumerkel #similarity

A Transformation Based in the Equality Between Terms (UN), pp. 162–176.

LOPSTR-1993-OlmedillaBH #automation #independence

Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model (MO, FB, MVH), pp. 177–195.

LOPSTR-1993-TarauB #delphi

Memoing with Abstract Answers and Delphi Lemmas (PT, KDB), pp. 196–209.

LOPSTR-1993-BoulangerB #abstract interpretation #using

Using Abstract Interpretation for Goal Replacement (DB, MB), pp. 210–228.

LOPSTR-1993-BoeckC #logic #prolog

Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments (PDB, BLC), pp. 229–245.