Proceedings of the Sixth International Workshop on Logic Programming Synthesis and Transformation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.