ITEM METADATA RECORD
Title: Deriving fold unfold transformations of logic programs using extended oldt-based abstract interpretation
Authors: Boulanger, Dmitri ×
Bruynooghe, Maurice #
Issue Date: May-1993
Publisher: Academic press ltd
Series Title: Journal of symbolic computation vol:15 issue:5-6 pages:495-521
URI: 
ISSN: 0747-7171
Publication status: published
KU Leuven publication type: IT
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