Kung-Kiu Lau
Selected Papers of the 10th International Workshop on Logic Based Program Synthesis and Transformation
LOPSTR, 2000.

@proceedings{LOPSTR-J-2000,
	address       = "LOPSTR 2000 London, England, United Kingdom",
	editor        = "Kung-Kiu Lau",
	isbn          = "3-540-42127-0",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Selected Papers of the 10th International Workshop on Logic Based Program Synthesis and Transformation}",
	volume        = 2042,
	year          = 2000,
}

Contents (10 items)

5 ×#logic programming
5 ×#source code
2 ×#analysis

LOPSTR-J-2000-AvelloneFF #framework #logic programming #source code #synthesis #verification

A Formal Framework for Synthesis and Verification of Logic Programs (AA, MF, CF), pp. 1–17.

LOPSTR-J-2000-PoernomoC #protocol #proving #source code

Protocols between Programs and Proofs (IP, JNC), pp. 18–37.

LOPSTR-J-2000-ColvinHS #composition #logic programming #refinement

A Technique for Modular Logic Program Refinement (RC, IJH, PAS), pp. 38–56.

LOPSTR-J-2000-SeresS #higher-order #logic programming #source code

Higher-Order Transformation of Logic Programs (SS, JMS), pp. 57–68.

LOPSTR-J-2000-SerebrenikS #analysis #logic programming #source code #termination

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings (AS, DDS), pp. 69–85.

LOPSTR-J-2000-BuenoBHMPS #analysis #compilation #optimisation

A Model for Inter-module Analysis and Optimizing Compilation (FB, MJGdlB, MVH, KM, GP, PJS), pp. 86–102.

LOPSTR-J-2000-AlbertAV #effectiveness #functional #logic #partial evaluation

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages (EA, SA, GV), pp. 103–124.

LOPSTR-J-2000-FioravantiPP #automation #constraints #logic programming #source code

Automated Strategies for Specializing Constraint Logic Programs (FF, AP, MP), pp. 125–146.

LOPSTR-J-2000-PierroW #abstract interpretation #precise

Measuring the Precision of Abstract Interpretations (ADP, HW), pp. 147–164.

LOPSTR-J-2000-JahierDR #continuation #modelling #prolog #semantics #specification

Specifying Prolog Trace Models with a Continuation Semantics (EJ, MD, OR), pp. 165–182.