Title: Deriving transformations of logic programs using abstract interpretation
Authors: Boulanger, Dmitri
Bruynooghe, Maurice #
Issue Date: 1993
Publisher: Springer
Host Document: Logic Program Synthesis and Transformation, Proceedings of LOPSTR'92 pages:99-117
Conference: Logic Programming Synthesis and Transformation location:Manchester date:2-3 July 1992
ISBN: 3-540-19806-7 and 0-387-19806-7
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (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.