Please use this identifier to cite or link to this item: https://doi.org/10.1109/32.667879
Title: Design of flexible static program analyzers with PQL
Authors: Jarzabek, S. 
Keywords: Program analysis for understanding
Program modeling
Program query language
Reverse engineering
Software maintenance
Tool generation
Issue Date: 1998
Citation: Jarzabek, S. (1998). Design of flexible static program analyzers with PQL. IEEE Transactions on Software Engineering 24 (3) : 197-215. ScholarBank@NUS Repository. https://doi.org/10.1109/32.667879
Abstract: Static Program Analyzers (SPA) are interactive tools that enhance program understanding during maintenance by answering queries about programs. Depending on the maintenance task in hand, SPAs must process different source programs and answer different types of program queries. Flexibility is, therefore, a desirable properly of SPAs. In this paper, we describe a program query language, called PQL, that facilitates the design of flexible SPAs. PQL is a conceptual level, source language-independent notation to specify program queries and program views. In PQL, we can query global program design as well as search for detail code patterns. PQL queries are answered automatically by a query evaluation mechanism built into an SPA. Program design models and PQL form the core of an SPA conceptual model. We based the SPA's architecture on this conceptual model. By separating the conceptual model from the implementation decisions, we can design SPAs that are customizable to the needs of the maintenance project at hand. Depending on criteria such as efficiency of query evaluation or simplicity of the SPA design, we can implement the same functional specifications of an SPA on a variety of program representations to meet the required criteria. Apart from its role in the design of SPAs, the conceptual model also allows us to rigorously study SPA functionality in the context of the underlying maintenance process and programmer behavior models, in isolation from tool implementation details. © 1998 IEEE.
Source Title: IEEE Transactions on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/99238
ISSN: 00985589
DOI: 10.1109/32.667879
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

17
checked on Aug 13, 2018

WEB OF SCIENCETM
Citations

10
checked on Aug 13, 2018

Page view(s)

27
checked on Jul 27, 2018

Google ScholarTM

Check

Altmetric


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