INTERVAL COMPUTATION AS DEDUCTION IN CHIP
Publication in refereed journal


Times Cited
Web of Science10WOS source URL (as at 28/05/2020) Click here for the latest count
Altmetrics Information
.

Other information
AbstractLogic programming realizes the ideal of ''computation is deduction,'' but not when floating-point numbers are involved. In that respect logic programming languages are as careless as conventional computation: they ignore the fact that floating-point operations are only approximate and that it is not easy to tell how good the approximation is. It is our aim to extend the benefits of logic programming to computation involving floating-point arithmetic.
All Author(s) ListLEE JHM, VANEMDEN MH
Journal nameJOURNAL OF LOGIC PROGRAMMING
Year1993
Month7
Day1
Volume Number16
Issue Number3-4
PublisherELSEVIER SCIENCE INC
Pages255 - 276
ISSN0743-1066
LanguagesEnglish-United Kingdom
Web of Science Subject CategoriesComputer Science; Computer Science, Theory & Methods

Last updated on 2020-29-05 at 00:55