An algorithm for analyzing communicating processes-Reference-Cited by-同舟云学术

An algorithm for analyzing communicating processes

Published:1992 Issue: Volume: Page:312-325
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Mercouroff N.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55511-0_16

Reference11 articles.

1. K. Apt, A static analysis of CSP programs, Logics of Programs, proc. 1983, Lecture Notes in Computer Science 164, pp 1–17 (1984).

2. P. Cousot & R. Cousot, Static determination of dynamic properties of programs, Proceedings of the 2th International Symp. on Programming, Dunod, Paris (April 1976), pp. 303–342.

3. P. Cousot & R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction of approximate fixed points, Conf. Rec. of the 4th ACM Symp. on Principles of Programming Languages, Los Angeles (Jan. 1977), SIGPLAN Notices, 12(1), pp. 238–252.

4. P. & R. Cousot, Systematic design of program analysis frameworks, Conf. Rec. of the 6th ACM Symp. on Principles of Programming Languages, (Jan. 1979), pp. 269–282.

5. P. Granger, Static Analysis of Arithmetical Congruences, International Journal of Computer Mathematics (1989) 30, pp. 165–190.

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

1. Process-Local Static Analysis of Synchronous Processes;Static Analysis;2018

2. Static Trace-Based Deadlock Analysis for Synchronous Mini-Go;Programming Languages and Systems;2016

3. Detection of Asynchronous Message Passing Errors Using Static Analysis;Practical Aspects of Declarative Languages;2011

4. Compile-Time Analysis and Specialization of Clocks in Concurrent Programs;Lecture Notes in Computer Science;2009

5. Specialization of CML message-passing primitives;ACM SIGPLAN Notices;2007-01-17