PQL: A Language for Specifying Abstract Program Views
No Thumbnail Available
Date
1994-11-01T00:00:00Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
A program query language, PQL for short, described in this paper is a source language-independent notation to specify program queries and program views. We use PQL as an interface to Static Program Analyzers (SPA), interactive tools that enhance program understanding by answering queries about programs. In PQL, we can query on global program design as well as search for detail code patterns. Program queries and patterns supported by other notations described in literature and those supported by commercial tools known to the author, can be written simply and naturally in PQL. Being driven by a conceptual program model and based on SQL and attribute abstract syntax grammar concepts, PQL is a high-level and intuitive notation for querying programs. Program modeling and PQL notations described in the paper form a basis for an SPA generation system.