A suite of analysis tools based on a general purpose abstract interpreter-Reference-Cited by-同舟云学术

A suite of analysis tools based on a general purpose abstract interpreter

Published:1994 Issue: Volume: Page:188-202
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cheatham Thomas,Gao Haiming,Stefanescu Dan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57877-3_13.pdf

Reference14 articles.

1. Thomas Cheatham, Haiming Gao, and Dan Stefanescu The Harvard Abstract Interpreter Technical Report, Harvard University, April 1993.

2. Thomas Cheatham, Jr., Amr Fahmy and Dan Stefanescu BSP-L — A Programming Language for the Bulk Synchronous Processing Model, Center for Research in Computing Technology, Harvard University, December 1993

3. Patrick Cousot and Radhia Couspt Abstract interpretation: a unified lattice model for static analysis of programs by construction of approximate fixpoints, Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pages 238–252, 1977.

4. Neil Jones and Alan Mycroft Data Flow Analysis of Applicative Programs Using Minimal Functions Graphs: Abridged Version, Conference Record of the Thirteenth ACM Symposium on Principles of Programming Languages, pages 296–306, 1986.

5. Mike Karr and Steve Rosen Dynamic Crossreference Analysis, lecture notes, 1992.

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

1. Bulk Synchronous Parallel Computing — A Paradigm for Transportable Software;Tools and Environments for Parallel and Distributed Systems;1996

2. General purpose optimization technology;Languages and Compilers for Parallel Computing;1996

3. Models, languages, and compiler technology for high performance computers;Mathematical Foundations of Computer Science 1994;1994