Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1997]
|
| Series: | Lecture notes in computer science.
1207. |
| Subjects: |
Table of Contents:
- Refining specifications to logic programs / I.J. Hayes, R.G. Nickson, and P.A. Strooper
- Symbolic verification with gap-order constraints / L. Fribourg and J. Richardson
- Specification-based automatic verification of prolog programs / A. Cortesi, B. Le Charlier, and S. Rossi
- Logic program specialisation : how to be more specific / M. Leuschel and D. DeSchreye
- Conjunctive partial deduction in practice / J. Jørgensen, M. Leuschel, and B. Martens
- Redundant argument filtering of logic programs / M. Leuschel and M.H. Sørensen
- Replacement can preserve termination / A. Bossi and N. Cocco
- A transformation tool for pure prolog programs / J. Brunekreef
- Enhancing partial deduction via unfold/fold rules / A. Pettorossi, M. Proietti, and S. Renault
- Abstract specialization and its application to program parallelization / G. Puebla and M. Hermenegildo
- Reductions of petri nets and unfolding of propositional logic programs / L. Fribourg and H. Olsén
- Inferring argument size relationships with CLP(R) / F. Benoy and A. King
- Typed norms for typed logic programs / J.C. Martin, A. King, and P. Soper
- Partial deduction in the framework of structural synthesis of programs / M. Matskin, J. Komorowski, and J. Krogstie
- Extensible logic program schemata / T.S. Gegg-Harrison
- Specialising meta-level compositions of logic programs / A. Brogi and S. Contiero
- Forms of logic specifications : a preliminary study / K.-K. Lau and M. Ornaghi
- Synthesis of proof procedures for default reasoning P.M. Dung, R.A. Kowalski, and F. Toni.