Properties of data flow frameworks-Reference-Cited by-同舟云学术

Properties of data flow frameworks

Published:1990-02 Issue:2 Volume:28 Page:121-163
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Marlowe T. J.,Ryder B. G.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

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

Reference98 articles.

1. Abramsky, S., Hankin C. (eds.): Abstract interpretation of declarative languages. Chichester: Ellis Horwood 1987

2. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Reading, MA: Addison-Wesley 1986

3. Allen, F.E., Cocke, J.: A program data flow analysis procedure. Commun. ACM19, 137?147 (1977)

4. Allen, R., Kennedy, K.: Automatic translation of FORTRAN programs to vector form. ACM Trans. Program. Lang. Syst.9, 491?542 (1987)

5. Alpern, B., Wegman, M., Zadeck, F.K.: Detecting inequality of values in programs. In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languates, pp. 1?11, 1988

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

1. A Framework for Memory Efficient Context-Sensitive Program Analysis;Theory of Computing Systems;2022-07-18

2. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14

3. On the computational complexity of Data Flow Analysis over finite bounded meet semilattices;Theoretical Computer Science;2021-09

4. Memory efficient context-sensitive program analysis;Journal of Systems and Software;2021-07

5. Reordering Transaction Execution to Boost High-Frequency Trading Applications;Data Science and Engineering;2017-11-15