This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Design of Analyzers for Selective Program Analysis
January 1981 (vol. 7 no. 1)
pp. 39-51
J. Arthur, Department of Computer Science, Purdue University
The need for programming environments which support different phases of the software life cycle using responsive tools is well established. This paper presents a method for developing automatic analyzers which analyze programs and provide programmers with a variety of messages for the purpose of validating these programs in the early stages of program development. We show using an example, that such analyzers can be systematically constructed using an extension of the Attribute Grammar model which reflects the fact that a program analyzer should perform a static analysis of the program as well as monitor its dynamic behavior efficiently. One of the advantages of the model is that a systematic interaction is allowed between the static and dynamic attributes of the program. We illustrate that an advantage of this interaction is selective program instrumentation. That is, the analyzer is responsive to the programmer's needs by providing a selective analysis of the program's behavior rather than an exhaustive analysis which is difficult to comprehend.
Index Terms:
translators, Attribute grammars, instrumentation, program validation
Citation:
J. Arthur, J. Ramanathan, "Design of Analyzers for Selective Program Analysis," IEEE Transactions on Software Engineering, vol. 7, no. 1, pp. 39-51, Jan. 1981, doi:10.1109/TSE.1981.230818
Usage of this product signifies your acceptance of the Terms of Use.
 
You do not have the roles required to access this portlet.