Tim Clement, Kung-Kiu Lau
Proceedings of the First International Workshop on Logic Program Synthesis and Transformation
LOPSTR, 1991.

@proceedings{LOPSTR-1991,
	editor        = "Tim Clement and Kung-Kiu Lau",
	isbn          = "['3-540-19742-7', '0-387-19742-7']",
	publisher     = "{Springer-Verlag}",
	series        = "{Workshops in Computing}",
	title         = "{Proceedings of the First International Workshop on Logic Program Synthesis and Transformation}",
	year          = 1991,
}

Contents (24 items)

9 ×#logic programming
8 ×#source code
6 ×#prolog
5 ×#synthesis
3 ×#using
2 ×#algorithm
2 ×#automation
2 ×#development
2 ×#evaluation
2 ×#induction

LOPSTR-1991-Lever #development #equivalence

Program Equivalence, Program Development and Integrity Checking (JML), pp. 1–12.

LOPSTR-1991-MiglioliMO #specification #synthesis

Program Specification and Synthesis in Constructive Formal Systems (PM, UM, MO), pp. 13–26.

LOPSTR-1991-WigginsBKH #induction #logic programming #proving #source code #synthesis

Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (GAW, AB, IK, JH), pp. 27–45.

LOPSTR-1991-FlenerD #logic programming #synthesis #towards

Towards Stepwise, Schema-guided Synthesis of Logic Programms (PF, YD), pp. 46–64.

LOPSTR-1991-JantkeG #induction #synthesis

Inductive Synthesis of Rewrite Rules as Program Synthesis (KPJ, UG), pp. 65–68.

LOPSTR-1991-ReadK #case study #composition #development #prolog

Formal Program Development in Modular Prolog: A Case Study (MGR, EAK), pp. 69–93.

LOPSTR-1991-Popelinsky #prolog #source code #synthesis #towards

Towards Synthesis of Nearly Pure Prolog Programs (LP), pp. 94–96.

LOPSTR-1991-Waldau #validation

Formal Validation of Transformation Schemata (MW), pp. 97–110.

LOPSTR-1991-FuchsF #logic programming #source code

Schema-Based Transfomations of Logic Programs (NEF, MPJF), pp. 111–125.

LOPSTR-1991-ProiettiP #automation #logic programming #source code

An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (MP, AP), pp. 126–128.

LOPSTR-1991-AlexandreBQ #logic programming #on the #source code #using

On Using Mode Input-output for Transforming Logic Programs (FA, KB, AQ), pp. 129–146.

LOPSTR-1991-LecoutreDL #abstract interpretation #behaviour #logic programming #recursion #source code

Abstract Interpretation and Recursive Behaviour of Logic Programs (CL, PD, PL), pp. 147–166.

LOPSTR-1991-Eusterbrock #abstraction #learning #logic programming #source code

Speed-up Transformations of Logic Programs by Abstraction and Learning (JE), pp. 167–182.

LOPSTR-1991-Mill #partial evaluation

Pruning Operators for Partial Evaluation (PMM), pp. 183–204.

LOPSTR-1991-WaalG #algorithm #unification

Specialisation of a Unification Algorithm (DAdW, JPG), pp. 205–220.

LOPSTR-1991-Ross #partial evaluation #prolog #semantics #source code

Semantics-based Partial Evaluation of Prolog Programs (BJR), pp. 221–237.

LOPSTR-1991-ParrainDL #program transformation #prolog

Prolog Program Transformations and Meta-Interpreters (AP, PD, PL), pp. 238–251.

LOPSTR-1991-Schaeck #algorithm #constraints #framework #logic programming

Global Search Algorithms and the Constraint Logic Programming Framework (SS), pp. 252–253.

LOPSTR-1991-Huntbach #automation #concurrent #logic

Automated Translation of Occam to a Concurrent Logic Language (MMH), pp. 254–275.

LOPSTR-1991-Noel #nondeterminism

A Method for the Determinisation of Propositional Temporal Formulae (PN), pp. 276–296.

LOPSTR-1991-Ameur #evaluation #functional #program transformation

Program Transformations Directed by the Evaluation of non Functional Properties (YAA), pp. 297–299.

LOPSTR-1991-SolnonR #design #object-oriented #prolog #prototype #using

Using a Prolog Prototype for Designing an Object Oriented Scheme (CS, MR), pp. 300–317.

LOPSTR-1991-Antoy #evaluation #lazy evaluation #logic programming #nondeterminism

Non-Determinism and Lazy Evaluation in Logic Programming (SA), pp. 318–331.

LOPSTR-1991-JiaoG #database #object-oriented #optimisation #prolog #query #using

Query Optimization in an Object-Oriented Database using Prolog (ZJ, PMDG), pp. 332–334.