Norbert E. Fuchs
Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation
LOPSTR, 1997.

@proceedings{LOPSTR-1997,
	address       = "Leuven, Belgium",
	editor        = "Norbert E. Fuchs",
	isbn          = "3-540-65074-1",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Workshop on Logic Programming Synthesis and Transformation}",
	volume        = 1463,
	year          = 1997,
}

Contents (17 items)

8 ×#logic programming
7 ×#source code
3 ×#synthesis
2 ×#analysis
2 ×#constraints
2 ×#termination

LOPSTR-1997-BibelKKKOSS #approach #multi #synthesis

A Multi-level Approach to Program Synthesis (WB, DSK, CK, FK, JO, SS, GS), pp. 1–27.

LOPSTR-1997-BossiC #source code

Programs Without Failures (AB, NC), pp. 28–48.

LOPSTR-1997-BuyukyildizF #logic programming #program transformation

Generalised Logic Program Transformation Schemas (HB, PF), pp. 49–68.

LOPSTR-1997-ChasseurD #constraints #logic programming

Logic Program Schemas, Constraints, and Semi-unification (EC, YD), pp. 69–89.

LOPSTR-1997-Christiansen #synthesis

Implicit Program Synthesis by a Reversible Metainterpreter (HC), pp. 90–110.

LOPSTR-1997-DecorteSLMS #analysis #logic programming #termination

Termination Analysis for Tabled Logic Programming (SD, DDS, ML, BM, KFS), pp. 111–127.

LOPSTR-1997-FlenerLO #on the

On Correct Program Schemas (PF, KKL, MO), pp. 128–147.

LOPSTR-1997-HeatonHK #analysis #logic programming #source code

Analysis of Logic Programs with Delay (AH, PMH, AK), pp. 148–167.

LOPSTR-1997-LafaveG #constraints #functional #logic programming #partial evaluation #source code

Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs (LL, JPG), pp. 168–188.

LOPSTR-1997-LeuschelMS #logic programming #source code #termination

Preserving Termination of Tabled Logic Programs While Unfolding (ML, BM, KFS), pp. 189–205.

LOPSTR-1997-LindenstraussSS

Unfolding the Mystery of Mergesort (NL, YS, AS), pp. 206–225.

LOPSTR-1997-MomiglianoO #logic programming #reasoning #source code #towards

Towards a Logic for Reasoning About Logic Programs Transformation (AM, MO), pp. 226–244.

LOPSTR-1997-NaishS #higher-order #re-engineering

A Higher Order Reconstruction of Stepwise Enhancement (LN, LS), pp. 245–262.

LOPSTR-1997-RichardsonF #development #prolog #source code

Development of Correct Transformation Schemata for Prolog Programs (JR, NEF), pp. 263–281.

LOPSTR-1997-SaglamG #approximate #logic programming #source code

Constrained Regular Approximation of Logic Programs (HS, JPG), pp. 282–299.

LOPSTR-1997-SemeraroEMFF #datalog #framework #incremental #induction #logic #synthesis

A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories (GS, FE, DM, NF, SF), pp. 300–321.

LOPSTR-1997-VanhoofM

To Parse or Not To Parse (WV, BM), pp. 322–342.