TermiLog: A system for checking termination of queries to logic programs

N. Lindenstrauss, Y. Sagiv, A. Serebrenik

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    20 Citations (Scopus)

    Abstract

    TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.
    Original languageEnglish
    Title of host publicationProceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel
    EditorsO. Grumberg
    Place of PublicationBerlin
    PublisherSpringer
    Pages444-447
    ISBN (Print)978-3-540-63166-8
    DOIs
    Publication statusPublished - 1997

    Publication series

    NameLecture Notes in Computer Science
    Volume1254
    ISSN (Print)0302-9743

    Cite this