Title: Inference of well-typings for logic programs with application to termination analysis
Authors: Bruynooghe, Maurice
Gallagher, John P
Van Humbeeck, Wouter
Issue Date: Apr-2005
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW409 pages:24
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
CW409.pdf Published 211KbAdobe PDFView/Open


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