Querying source code using an algebraic query language
- 1 January 1994
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 127-136
- https://doi.org/10.1109/icsm.1994.336782
Abstract
Querying and analyzing source code interactively is a critical task in reverse engineering and program understanding. Current source code query systems lack sufficient formalism and offer limited query capabilities. We introduce the formal framework of Source Code Algebra (SCA), and outline a source code query system based on it. SCA provides a formal data model for source code, an algebraic expression-based query language, and opportunities for query optimization. An algebraic model of source code addresses the issues of conceptual integrity, expressive power, and performance of a source code query system within a unified framework.Keywords
This publication has 16 references indexed in Scilit:
- SUPPORTING QUERIES ON SOURCE CODE: A FORMAL FRAMEWORKInternational Journal of Software Engineering and Knowledge Engineering, 1994
- A framework for source code search using program patternsIEEE Transactions on Software Engineering, 1994
- A reverse‐engineering approach to subsystem structure identificationJournal of Software Maintenance: Research and Practice, 1993
- An algebra for structured office documentsACM Transactions on Information Systems, 1989
- A program understanding support environmentIBM Systems Journal, 1989
- Identity, equality and query optimizationPublished by Springer Nature ,1988
- Source CodeComputer, 1987
- Program SlicingIEEE Transactions on Software Engineering, 1984
- Implementing relational views of programsPublished by Association for Computing Machinery (ACM) ,1984
- Towards a theory of the comprehension of computer programsInternational Journal of Man-Machine Studies, 1983