A Concurrent Abstract Interpreter


Abstract interpretation [6] has been long regarded as a promising optimization and analysis technique for high-level languages. In this article, we describe an implementation of a concurrent abstract interpreter. The interpreter evaluates programs written in an expressive parallel language that supports dynamic process creation, first-class locations, list data structures and higher-order procedures. Synchronization in the input language is mediated via first-class shared locations. The analysis computes intraand inter-thread control and dataflow information. The interpreter is implemented on top of Sting [12], a multi-threaded dialect of Scheme that serves as a high-level operating system for modern programming languages.

Extracted Key Phrases

3 Figures and Tables

Cite this paper

@article{Weeks1994ACA, title={A Concurrent Abstract Interpreter}, author={Stephen Weeks and Suresh Jagannathan and James Philbin}, journal={Lisp and Symbolic Computation}, year={1994}, volume={7}, pages={173-193} }