Structure and interpretation of computer programs
Structure and interpretation of computer programs
Applying Prolog programming techniques
International Journal of Human-Computer Studies
GENOA—a customizable, front-end-retargetable source code analysis framework
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using an integrated toolset for program understanding
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
NORA/HAMMR: making deduction-based software component retrieval practical
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Augmenting abstract syntax trees for program understanding
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Structural Manipulations of Software Architecture Using Tarski Relational Algebra
WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
Program Comprehension in Multi-Language Systems
WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
Outlining C Loops: Preliminary Results and Trends
WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
ASTLOG: a language for examining abstract syntax trees
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Hi-index | 0.00 |
We propose a new paradigm to query information about programs, namely query by outlines. This paradigm relies on an outlining model that conceptually describe units of code according to the computations they perform. Outlines are automatically constructed by our system PRISME for C and Lisp programs. Currently, both our model and our system are restricted to loops.QBO is a prototype tool that implements the query by outline paradigm. It proposes to browse the loops of a program directly through their outline, and allows to restrict these loops to browse with queries expressed as constraints on the outlines. Thus it enables to answer questions such as "where is this variable modified?", "where is this kind of computation performed?", or "are there many places where this computation is performed?".In this paper, we sketch our outlining model, introduce QBO and argue that query by outline is a helpful paradigm to manage programs.