Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/99601
Title: Systematic design of static program analyzers
Authors: Jarzabek, Stan 
Issue Date: 1994
Source: Jarzabek, Stan (1994). Systematic design of static program analyzers. Proceedings - IEEE Computer Society's International Computer Software & Applications Conference : 281-286. ScholarBank@NUS Repository.
Abstract: Static Program Analyzers (SPA) are interactive tools that enhance program understanding by answering queries about programs. An SPA parses source programs and builds a so-called Program Knowledge Base (PKB) that enables automatic processing of program queries. An SPA design method described in this paper consists of steps during which we (1) identify a class of program queries we wish to answer, (2) model program information that is required to resolve queries, (3) define physical representation for programs, based on the concept of a hybrid PKB, and (4) implement other SPA components such as a front-end and user interface. Generally, queries related to global properties of programs are best handled if we store program information in a relational database. On the other hand, detailed queries are best supported if we represent programs as attributed syntax trees. A hybrid PKB described in this paper integrates these two program representations. Our notation for specifying a hybrid PKB forms a basis for a generation system that automates some of the routine, but time consuming, tasks involved in implementation of programming tools.
Source Title: Proceedings - IEEE Computer Society's International Computer Software & Applications Conference
URI: http://scholarbank.nus.edu.sg/handle/10635/99601
ISSN: 07306512
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

28
checked on Jan 12, 2018

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.