Affine-based size-change termination

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

Volumn 2895, Issue , 2003, Pages 122-140

  Anderson, Hugh ^a   Khoo, Siau Cheng ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS;

CONTEXTUAL INFORMATION; PRESBURGER; PROGRAM TERMINATION; SIZE CHANGE GRAPHS; SIZE-CHANGE PRINCIPLE; SOURCE PARAMETERS; TERMINATION ANALYSIS; TRANSITIVE CLOSURE;

RECURSIVE FUNCTIONS;

EID: 0345445947     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40018-9_9     Document Type: Article

References (16)

1. A. Aiken. Introduction to Set Constraint-Based Program Analysis. Science of Computer Programming, 35(1999):19-111, 1999.
2. H. Anderson and S.C. Khoo. Affine-Based Size-Change Termination. Technical Report TRA9/03, National University of Singapore, September 2003.
3. W.N. Chin and S.C. Khoo. Calculating Sized Types. In Partial Evaluation and Semantic-Based Program Manipulation, pages 62-72, 2000.
4. M. Colón and H. Sipma. Practical Methods for Proving Program Termination. In 14th International Conference on Computer Aided Verification (CAV), volume 2404 of Lecture Notes in Computer Science, pages 442-454. Springer, 2002.
5. C. Consel. Polyvariant Binding-Time Analysis For Applicative Languages. In Partial Evaluation and Semantic-Based Program Manipulation, pages 66-77, 1993.
6. T. Coquand and C. Paulin. Inductively Defined Types. In P. Martin-Lof and G.Mints, editors, Proceedings of COLOG'88, volume 417 of Lecture Notes in Computer Science, pages 50-66. ACM, Springer, 1990.
7. P. Cousot and N. Halbwachs. Automatic Discovery of Linear Restraints Among Variables of a Program. In Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 84-97, Tucson, Arizona, 1978. ACMPress, New York, NY.
8. N. Heintze. Set Based Program Analysis. PhD thesis, CMU, 1992.
9. P. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, and D. Wonnacott. The Omega Library Version 1.1.0 Interface Guide. Technical report, University of Maryland, College Park, November 1996.
10. S.C. Khoo and K. Shi. Output Constraint Specialization. ACM SIGPLANASIA Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 106-116, September 2002.
11. C.S. Lee. Program Termination Analysis in Polynomial Time. In Don Batory, Charles Consel, and Walid Taha, editors, Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, volume 2487 of Lecture Notes in Computer Science, pages 218-235. ACM, Springer, October 2002.
12. C.S. Lee, N.D. Jones, and A.M. Ben-Amram. The Size-Change Principle for Program Termination. In Proceedings of the 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 28, pages 81-92. ACM press, January 2001.
13. F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
14. O. Shivers. Control Flow Analysis in Scheme. ACM SIGPLAN Notices, 7(1):164-174, 1988.
15. C. Speirs, Z. Somogyi, and H. Sondergaard. Termination Analysis for Mercury. In Static Analysis Symposium, pages 160-171, 1997.
16. W. Vanhoof and M. Bruynooghe. Binding-time Analysis for Mercury. In International Conference on Logic Programming, pages 500-514, 1999.