Complexity of concrete type-inference in the presence of exceptions-Reference-Cited by-同舟云学术

Complexity of concrete type-inference in the presence of exceptions

Published:1998 Issue: Volume: Page:57-74
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Chatterjee Ramkrishna,Ryder Barbara G.,Landi William A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0053563

Reference21 articles.

1. Ole Agesen. The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In Proceedings of European Conference on Object-oriented Programming (ECOOP'95), 1995.

2. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, 1994. Also available as DIKU report 94/19.

3. J. M. Barth. A practical interprocedural data flow analysis algorithm. Communications of the ACM, 21(9):724–736, 1978.

4. Jong-Deok Choi, Michael Burke, and Paul Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proceedings of the ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 232–245, January 1993.

5. Ramkrishna Chatterjee, Barbara Ryder, and William Landi. Complexity of concrete type-inference in the presence of exceptions. Technical Report DCS-TR-341, Dept of CS, Rutgers University, September 1997.

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

1. Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks;2008 IEEE International Conference on Software Maintenance;2008-09

2. EDO;ACM Transactions on Programming Languages and Systems;2006-01

3. An uncaught exception analysis for Java;Journal of Systems and Software;2004-06

4. Constructing Control Flow Graph for Java by Decoupling Exception Flow from Normal Flow;Computational Science and Its Applications – ICCSA 2004;2004

5. A study of exception handling and its dynamic optimization in Java;ACM SIGPLAN Notices;2001-11