Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
SPARE: A Development Environment for Program Analysis Algorithms
Venkatesh G., Fischer C. IEEE Transactions on Software Engineering18 (4):304-318,1992.Type:Article
Date Reviewed: May 1 1993

Sophisticated analysis algorithms are used in program development environments today to help in deriving information on the static and behavioral properties of programs. Two approaches are adopted for the specification of such algorithms. The operational approach, though practical, has no formal foundation for correctness proofs and is implementation-dependent. The semantics-driven approach has a theoretical foundation based on denotational semantics, but is not supported by practical tools.

This paper enhances the semantics-driven approach to cater to implementation issues. It describes a Structured Program Analysis Refinement Environment (SPARE), which interacts with users in an extended denotational specification language that is flexible and concise. Algorithms can be developed in a modular and structured manner, with implementation details hidden from users. The environment supports the rapid prototyping and testing of analysis algorithms through automatic implementations. The performance of the system is enhanced by incremental evaluation. Correctness proofs can be produced as a result of the denotational nature of the specifications, but they are not covered in the paper.

The paper provides a vivid illustration showing that the gap between theory and practice can indeed be bridged. A small drawback is that the discussion of denotational semantics and other formal notions may be too condensed for the average reader. It would have been useful, for instance, if the authors had announced as early as possible that a glossary of terms is provided in Appendix B.

Reviewer:  T.H. Tse Review #: CR116904
Bookmark and Share
Programming Environments (D.2.6 )
Formal Definitions And Theory (D.3.1 )
Language Classifications (D.3.2 )
Requirements/ Specifications (D.2.1 )
Testing And Debugging (D.2.5 )
Would you recommend this review?
Other reviews under "Programming Environments": Date
A prototyping environment for differential equations
Boubez T., Froncioni A., Peskin R. ACM Transactions on Mathematical Software 18(1): 1-10, 1992. Type: Article
Mar 1 1993
PICT: an interactive graphical programming environment
Gilnert E., Tanimoto S. Computer 17(11): 7-25, 1984. Type: Article
Jul 1 1985
Towards monolingual programming environments
Heering J. (ed), Klint P. (ed) ACM Transactions on Programming Languages and Systems 7(2): 183-213, 1985. Type: Article
Nov 1 1985

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy