John P. Gallagher
Proceedings of the Sixth International Workshop on Logic Programming Synthesis and Transformation
LOPSTR, 1996.

@proceedings{LOPSTR-1996,
	address       = "Stockholm, Sweden",
	editor        = "John P. Gallagher",
	isbn          = "3-540-62718-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Workshop on Logic Programming Synthesis and Transformation}",
	volume        = 1207,
	year          = 1996,
}

Contents (18 items)

8 ×#source code
7 ×#logic programming
3 ×#deduction
2 ×#prolog
2 ×#specification
2 ×#synthesis
2 ×#verification

LOPSTR-1996-HayesNS #logic programming #source code #specification

Refining Specifications to Logic Programs (IJH, RGN, PAS), pp. 1–19.

LOPSTR-1996-FribourgR #constraints #verification

Symbolic Verification with Gap-Order Constraints (LF, JR), pp. 20–37.

LOPSTR-1996-CortesiCR #automation #prolog #source code #verification

Specification-Based Automatic Verification of Prolog Programs (AC, BLC, SR), pp. 38–57.

LOPSTR-1996-LeuschelS #how #logic programming

Logic Program Specialisation: How to Be More Specific (ML, DDS), p. 58.

LOPSTR-1996-JorgensenLM #deduction

Conjunctive Partial Deduction in Practice (JJ, ML, BM), pp. 59–82.

LOPSTR-1996-LeuschelS96a #logic programming #source code

Redundant Argument Filtering of Logic Programs (ML, MHS), pp. 83–103.

LOPSTR-1996-BossiC #termination

Replacement Can Preserve Termination (AB, NC), pp. 104–129.

LOPSTR-1996-Brunekreef #prolog #source code

A Transformation Tool for Pure Prolog Programs (JB), pp. 130–145.

LOPSTR-1996-PettorossiPR #deduction

Enhancing Partial Deduction via Unfold/Fold Rules (AP, MP, SR), pp. 146–168.

LOPSTR-1996-PueblaH #parallel

Abstract Specialization and Its Application to Program Parallelization (GP, MVH), pp. 169–186.

LOPSTR-1996-FribourgO #logic programming #petri net #reduction #source code

Reductions of Petri Nets and Unfolding of Propositional Logic Programs (LF, HO), pp. 187–203.

LOPSTR-1996-BenoyK

Inferring Argument Size Relationships with CLP(R) (FB, AK), pp. 204–223.

LOPSTR-1996-MartinKS #logic programming #source code

Typed Norms for Typed Logic Programs (JCM, AK, PS), pp. 224–238.

LOPSTR-1996-MatskinKK #deduction #framework #source code #synthesis

Partial Deduction in the Framework of Structural Synthesis of Programs (MM, HJK, JK), pp. 239–255.

LOPSTR-1996-Gegg-Harrison #logic programming

Extensible Logic Program Schemata (TSGH), pp. 256–274.

LOPSTR-1996-BrogiC #composition #logic programming #source code

Specialising Meta-level Compositions of Logic Programs (AB, SC), pp. 275–294.

LOPSTR-1996-LauO #case study #logic #specification

Forms of Logic Specifications: A Preliminary Study (KKL, MO), pp. 295–312.

LOPSTR-1996-DungKT #proving #reasoning #synthesis

Synthesis of Proof Procedures for Default Reasoning (PMD, RAK, FT), pp. 313–324.