ITEM METADATA RECORD
Title: Program specialisation as a preprocessing step for termination analysis
Authors: Nguyen, Manh Thang ×
Bruynooghe, Maurice
De Schreye, Danny
Leuschel, Michael #
Issue Date: 2006
Series Title: WST 2006: Eighth International Workshop on Termination pages:7-11
Conference: 8th International Workshop on Termination location:Seattle, Washington, United States date:August 15-16, 2006
URI: 
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
WST06(final).pdf Published 98KbAdobe PDFView/Open

 


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