On termination of logic programs with floating point computations

A. Serebrenik, D. De Schreye

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

    5 Citations (Scopus)


    Numerical computations form an essential part of almost any real-world program. Traditional approaches to termination of logic programs are restricted to domains isomorphic to N, more recent works study termination of integer computations. Termination of computations involving real numbers is cumbersome and counter-intuitive due to rounding errors and implementation conventions. We present a novel technique that allows us to prove termination of such computations. Our approach extends the previous work on termination of integer computations.
    Original languageEnglish
    Title of host publicationProceedings of the 9th International Symposium on Static Analysis (SAS 2002), 17-20 September 2002, Madrid, Spain
    EditorsM.V. Hermenegildo, G. Puebla
    Place of PublicationBerlin
    ISBN (Print)3-540-44235-9
    Publication statusPublished - 2002

    Publication series

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


    Dive into the research topics of 'On termination of logic programs with floating point computations'. Together they form a unique fingerprint.

    Cite this