Bidirectional data flow analysis for type inferencing-Reference-Cited by-同舟云学术

Bidirectional data flow analysis for type inferencing

Published:2003-04 Issue:1-2 Volume:29 Page:15-44
ISSN:1477-8424
Container-title:Computer Languages, Systems & Structures
language:en
Short-container-title:Computer Languages, Systems & Structures

Author:

Khedker Uday P.,Dhamdhere Dhananjay M.,Mycroft Alan

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Software

Reference46 articles.

1. Tennenbaum AM. Type determination in very high level languages. Technical report NSO-3, Courant Institute of Mathematical Sciences, New York University, 1974.

2. Compilers—principles, techniques, and tools;Aho,1986

3. Global optimization by suppression of partial redundancies;Morel;Communications of ACM,1979

4. Khedker UP. A generalized theory of bit vector data flow analysis. PhD thesis, Department of Computer Science and Engineering, Indian Institute of Technology, Bombay, 1997.

5. A generalized theory of bit vector data flow analysis;Khedker;ACM Transactions on Programming Languages and Systems,1994

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

1. Bidirectionality in flow-sensitive demand-driven analysis;Science of Computer Programming;2020-05

2. Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain;Science of Computer Programming;2017-04

3. Heap reference analysis using access graphs;ACM Transactions on Programming Languages and Systems;2007-11

4. The Infer Type Refactoring and its Use for Interface-Based Programming.;The Journal of Object Technology;2007