On Termination of Logic Programs with Floating Point Computations

Alexander Serebrenik, Danny De Schreye. On Termination of Logic Programs with Floating Point Computations. In Manuel V. Hermenegildo, Germán Puebla, editors, Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Volume 2477 of Lecture Notes in Computer Science, pages 151-164, Springer, 2002. [doi]

Abstract

Abstract is missing.