Termination checking with types-Reference-Cited by-同舟云学术

Termination checking with types

Published:2004-10 Issue:4 Volume:38 Page:277-319
ISSN:0988-3754
Container-title:RAIRO - Theoretical Informatics and Applications
language:
Short-container-title:RAIRO-Theor. Inf. Appl.

Author:

Abel Andreas

Publisher

EDP Sciences

Subject

Computer Science Applications,General Mathematics,Software

Link

http://www.rairo-ita.org/10.1051/ita:2004015/pdf

Reference51 articles.

1. Specification and Verification of a Formal System for Structurally Recursive Functions

2. A. Abel, A third-order representation of theλµ-calculus, edited by S. Ambler, R. Crole, A. Momigliano, Elsevier Science Publishers.Electron. Notes Theor. Comput. Sci.58(2001).

3. Termination and Productivity Checking with Continuous Types

4. A. Abel,Soundness of a bidirectional typing algorithm. Twelf code, available on the author's homepage, http://www.tcs.informatik.uni-muenchen.de/ abel (May 2004).

5. A predicative analysis of structural recursion

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

1. System FR: formalized foundations for the stainless verifier;Proceedings of the ACM on Programming Languages;2019-10-10

2. Probabilistic Termination by Monadic Affine Sized Typing;ACM Transactions on Programming Languages and Systems;2019-06-21

3. Size-based termination of higher-order rewriting;Journal of Functional Programming;2018

4. Let Arguments Go First;Programming Languages and Systems;2018

5. Verified perceptron convergence theorem;Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages;2017-06-18