On termination of logic programs with floating point computations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2477, Issue , 2002, Pages 151-164

  Serebrenik, Alexander ^a   De Schreye, Danny ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DIGITAL ARITHMETIC; INTEGER PROGRAMMING; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE;

FLOATING-POINT COMPUTATION; LOGIC PROGRAMS; NOVEL TECHNIQUES; NUMERICAL COMPUTATIONS; REAL NUMBER; REAL-WORLD; ROUNDING ERRORS; TRADITIONAL APPROACHES;

STATIC ANALYSIS;

EID: 23044533275     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45789-5_13     Document Type: Conference Paper

References (28)

1. ISO/IEC 10967-1:1994. Information technology-Language independent arithmetic-Part 1: Integer and floating point arithmetic. ISO/IEC, 1994.
2. ISO/IEC 13211-1:1995. Information technology-Programming languages-Prolog-Part 1: General core. ISO/IEC, 1995.
3. A. Aggoun, D. Chan, P. Dufresne, E. Falvey, H. Grant, W. Harvey, A. Herold, M. Geoffrey, M. Meier, D. Miller, S. Mudambi, S. Novello, B. Perez, E. van Rossum, J. Schimpf, K. Shen, P. A. Tsahageas, and D. H. de Villeneuve. ECLiPSe User Manual. Release 5.3, 2001.
4. Y. A'it Ameur, P. Cros, J. J. Falcon, and A. Gomez. An application of abstract interpretation to floating point arithmetic. In M. Billaud, P. Casteran, M.-M. Corsini, K. Musumbu, and A. Rauzy, editors, Actes WSA'92 Workshop on Static Analysis, volume 81-82 of Bigre, pages 205-212. Atelier Irisa, IRISA, Campus de Beaulieu, 1992.
5. K. R. Apt. From Logic Programming to Prolog. Prentice-Hall Int. Series in Computer Science. Prentice Hall, 1997.
6. K. R. Apt, E. Marchiori, and C. Palamidessi. A declarative approach for first-order built-in's in Prolog. Applicable Algebra in Engineering, Communication and Computation, 5(3-4):159-191, 1994.
7. M. Brady. Open Prolog. http://www.cs.tcd.ie/open-prolog/, 2001.
8. F. Bueno, D. Cabeza Gras, M. Carro, M. V. Hermenegildo, P. Lopez-Garcfa, and G. Puebla. The Ciao Prolog system. Reference manual. Technical Report CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. http://www.clip.dia.fi.upm.es/.
9. L. Colussi, E. Marchiori, and M. Marchiori. On termination of constraint logic programs. In U. Montanari and F. Rossi, editors, Principles and Practice ofConstraint Programming - CP'95, pages 431-448. Springer Verlag, 1995. LNCS 976.
10. D. De Schreye, K. Verschaetse, and M. Bruynooghe. A framework for analyzing the termination of definite logic programs with respect to call patterns. In ICOT Staff, editor, Proc.of the Int.Conf.on Fifth Generation Computer Systems., pages 481-488. IOS Press, 1992.
11. S. Decorte and D. De Schreye. Termination analysis: some practical properties of the norm and level mapping space. In J. Jaffar, editor, Proc.of the 1998 Joint Int. Conf.and Symp.on Logic Programming, pages 235-249. MIT Press, June 1998.
12. S. Decorte, D. De Schreye, and H. Vandecasteele. Constraint-based termination analysis of logic programs. ACM TOPLAS, 21(6):1137-1195, November 1999.
13. N. Dershowitz, N. Lindenstrauss, Y. Sagiv, and A. Serebrenik. A general framework for automatic termination analysis of logic programs. Appl.Alg.in Eng., Comm. and Computing, 12(1-2):117-156, 2001.
14. M. H. Escardo. PCF extended with real numbers. Theoretical Computer Science, 162(1):79-115, August 1996.
15. E. Goubault. Static analyses of the precision of floating-point operations. In P. Cousot, editor, Static Analysis, 8th International Symposium, volume 2126 of LNCS, pages 234-259. Springer Verlag, 2001.
16. E. Goubault, M. Martel, and S. Putot. Asserting the precision of floating-point computations: A simple abstract interpreter. In D. Le Moetayer, editor, Programming Languages and Systems, 11th European Symposium on Programming, volume 2305 of LNCS, pages 209-212. Springer Verlag, 2002.
17. IEEE Standards Committee 754. IEEE Standard for binary floating-point arithmetic, ANSI/IEEE Standard 754-1985. Institute of Electrical and Electronics Engineers, New York, 1985. Reprinted in SIGPLAN Notices, 22(2):9-25, 1987.
18. IT Masters. MasterProLog Programming Environment. http://www.itmasters.com/, 2000.
19. G. Janssens, M. Bruynooghe, and V. Englebert. Abstracting numerical values in CLP(H, N). In M. V. Hermenegildo and J. Penjam, editors, Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, pages 400-414. Springer Verlag, 1994. volume 844 of LNCS.
20. F. Mesnard. Inferring left-terminating classes of queries for constraint logic programs. In M. Maher, editor, Proc.JICSLP'96, pages 7-21. The MIT Press, 1996.
21. P. J. Potts, A. Edalat, and M. H. Escardoo. Semantics of exact real arithmetic. In Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, pages 248-257. IEEE Computer Society Press, 1997.
22. S. Ruggieri. Verification and validation of logic programs. PhD thesis, Universita di Pisa, 1999.
23. A. Serebrenik and D. De Schreye. Inference of termination conditions for numerical loops in Prolog. In R. Nieuwenhuis and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, Proceedings, volume 2250 of LNCS, pages 654-668. Springer Verlag, 2001.
24. A. Serebrenik and D. De Schreye. Non-transformational termination analysis of logic programs, based on general term-orderings. In K.-K. Lau, editor, LOPSTR 2001, 10th Int.Workshop, Selected Papers, volume 2042 of LNCS, pages 69-85. Springer Verlag, 2001.
25. Swedish Institute of Computer Science. SICStus User Manual. Version 3.9. 2002.
26. J. Vuillemin. Exact real computer arithmetic with continued fractions. IEEE Transactions on Computers, 39(8):1087-1105, August 1990.
27. Inc. Waterloo Maple. Maple 7, 2001. http://www.maplesoft.com/.
28. W. Winsborough. Multiple specialization using minimal-function graph semantics. Journal ofLogic Programming, 13(2-3):259-290, 1992.