PQTL: A Language for Specifying Program Transformations
No Thumbnail Available
Date
1995-05-01T00:00:00Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We describe a program query and transformation language, PQTL for short, a general-purpose, end-user level language to specify program transformations. PQTL provides a basis for automating program transformations in software evolution, conversion and re-engineering. In PQTL, we specify program transformations in terms of the logical program design model. Separation of the logical program design model from the actual mechanism used to compute and store program designs allows us to design a generic program transformation tool. The generic tool can be customized to the needs of a specific program transformation project, i.e., to the source language,to specific program transformation rules and to an internal program representation. PQTL is an extension of PQL, a program query language, that we use to specify program queries in the interactive analysis of programs for understanding.