ITEM METADATA RECORD
Title: Conjunctive partial deduction in practice
Authors: Jørgensen, Jesper ×
Leuschel, Michael
Martens, Bern #
Issue Date: 1997
Publisher: Springer-verlag berlin
Host Document: 6th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96), Lecture Notes in Computer Science 1207 pages:59-82
Conference: 6th International Workshop on Logic Program Synthesis and Transformations (LOPSTR'96) location:Stockholm, Sweden
Abstract: Recently, partial deduction of logic programs has been extended to conceptually embed folding. To this end, partial deductions are no longer computed of single atoms, but rather of entire conjunctions; Hence the term ''conjunctive partial deduction''.
URI: 
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy

 




All items in Lirias are protected by copyright, with all rights reserved.

© Web of science