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''.
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:
File Status SizeFormat
chp%3A10.1007%2F3-540-62718-9_5.pdf Published 1539KbAdobe PDFView/Open

 


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

© Web of science