Work

Hasta-La-Vista: Termination analyser for logic programs

Year: 2003

Type: conference-paper

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.

Source: Lirias (KU Leuven)

Authors: Alexander Serebrenik, Danny De Schreye

Institution: KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W39866887

FWCI: 0.611

Cites: 17

Cited by: 6

Related to: 10