6. LOPSTR 1996: Stockholm, Sweden
John P. Gallagher (Ed.): Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings. Springer 1997 Lecture Notes in Computer Science ISBN 3-540-62718-9- Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi: Specification-Based Automatic Verification of Prolog Programs. 38-57
- Michael Leuschel, Danny De Schreye: Logic Program Specialisation: How to Be More Specific (Abstract). 58
- Jacob Brunekreef: A Transformation Tool for Pure Prolog Programs. 130-145
- Alberto Pettorossi, Maurizio Proietti, Sophie Renault: Enhancing Partial Deduction via Unfold/Fold Rules. 146-168
- Germán Puebla, Manuel V. Hermenegildo: Abstract Specialization and Its Application to Program Parallelization. 169-186
- Laurent Fribourg, Hans Olsén: Reductions of Petri Nets and Unfolding of Propositional Logic Programs. 187-203
- Mihhail Matskin, Henryk Jan Komorowski, John Krogstie: Partial Deduction in the Framework of Structural Synthesis of Programs. 239-255
- Timothy S. Gegg-Harrison: Extensible Logic Program Schemata. 256-274
- Phan Minh Dung, Robert A. Kowalski, Francesca Toni: Synthesis of Proof Procedures for Default Reasoning. 313-324
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team