Title: Hasta-La-Vista: Termination analyzer for logic programs
Authors: Serebrenik, Alexander ×
De Schreye, Danny #
Issue Date: 2003
Conference: 6th International Workshop on Termination location:Valencia, Spain date:June 13-14, 2003
Abstract: Verifying termination is often considered as one of the most important aspects of program verification. In this paper we present Hasta-La-Vista an automatic tool for analysing termination of logic programs. To the best of our knowledge, Hasta-La-Vista is unique in being able to prove termination of programs depending on integer computations.
Description: Technical report DSIC-II/15/03
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
40837.pdf Published 21KbAdobe PDFView/Open


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