Termination analysis for offline partial evaluation of a higher order functional language-Reference-Cited by-同舟云学术

Termination analysis for offline partial evaluation of a higher order functional language

Published:1996 Issue: Volume: Page:67-82
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Andersen Peter Holst,Holst Carsten Kehler

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61739-6_34.pdf

Reference15 articles.

1. The Similix system, version 5.1. 1995.

2. Lars Ole Andersen. Binding-time analysis and the taming of C pointers. In David Schmidt, editor, Proc. of ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, pages 47–58, 1993.

3. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94/19).

4. Peter Holst Andersen and Carsten Kehler Holst. Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language. Technical Report, DIKU, University of Copenhagen, Denmark, 1996. To appear.

5. Anders Bondorf and Jesper JØrgensen. Efficient analyses for realistic off-line partial evaluation: extended version. Technical Report 93/4, DIKU, University of Copenhagen, Denmark, 1993.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Finiteness Analysis in Polynomial Time;Static Analysis;2002

2. Program Termination Analysis by Size-Change Graphs (Abstract);Automated Reasoning;2001

3. Binding-Time Annotations without Binding-Time Analysis;Logic for Programming, Artificial Intelligence, and Reasoning;2001

4. Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All;Lecture Notes in Computer Science;2000

5. Two Flavors of Offine Partial Evaluation;Advances in Computing Science ASIAN 98;1998