摘要: Developing and verifying concurrent programs presents several problems. A static analysis algorithm is presented here that addresses the following problems: how processes are synchronized, what determines when run in parallel, errors detected synchronization structure. Though research focuses on Ada, results can be applied to other programming languages such as CSP.
acm.org
sci-hub.se 参考文章(13)
Jean D. Ichbiah, Bernd Krieg-Brueckner, Brian A. Wichmann, Henry F. Ledgard, Jean-Claude Heliard, Reference Manual for the Ada Programming Language. Proposed Standard Document Defense Technical Information Center. ,(1980) , 10.21236/ADA090709
Aho AV, JE Hopcroft, JD Ullman, The Design and Analysis of Computer Algorithms ,(1974)
Richard N. Taylor, Leon J. Osterweil, Anomaly Detection in Concurrent Software by Static Data Flow Analysis IEEE Transactions on Software Engineering. ,vol. 6, pp. 265- 278 ,(1980) , 10.1109/TSE.1980.234488
Robert E. Odeh, Donald E. Knuth, The art of computer programming, volume 1 (3rd ed.): fundamental algorithms Journal of the American Statistical Association. ,vol. 64, pp. 401- ,(1997) , 10.2307/2283757
W.E. Howden, Symbolic Testing and the DISSECT Symbolic Evaluation System IEEE Transactions on Software Engineering. ,vol. SE-3, pp. 266- 278 ,(1977) , 10.1109/TSE.1977.231144
Leon J. Osterweil, Lloyd D. Fosdick, Dave—a validation error detection and documentation system for fortran programs Software: Practice and Experience. ,vol. 6, pp. 473- 486 ,(1976) , 10.1002/SPE.4380060405
Matthew S. Hecht, Flow Analysis of Computer Programs ,(1977)
Per Brinch Hansen, Distributed processes Communications of the ACM. ,vol. 21, pp. 934- 941 ,(1978) , 10.1145/359642.359651
M. V. Wilkes, The Art of Computer Programming, Volume 3, Sorting and Searching The Computer Journal. ,vol. 17, pp. 324- 324 ,(1974) , 10.1093/COMJNL/17.4.324
F. MARTIN, HAL/S - The Avionics Programming System for Shuttle Computers in Aerospace Conference. ,(1977) , 10.2514/6.1977-1434