## 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)

- 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.

8 ×#source code

7 ×#logic programming

3 ×#deduction

2 ×#prolog

2 ×#specification

2 ×#synthesis

2 ×#verification

7 ×#logic programming

3 ×#deduction

2 ×#prolog

2 ×#specification

2 ×#synthesis

2 ×#verification