The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Web Structures: A Tool for Representing and Manipulating Programs
IEEE Transactions on Software Engineering
Efficient Database Access from Prolog
IEEE Transactions on Software Engineering
Software analysis notes: case considered tricky (1)
Software Maintenance News
Interprocedual optimization: experimental results
Software—Practice & Experience
The C Information Abstraction System
IEEE Transactions on Software Engineering
Software process enactment in Oikos
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Reverse engineering: algorithms for program graph production
Software—Practice & Experience
A Packaging System for Heterogeneous Execution Environments
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
A conceptual design for a code analysis knowledge base
Journal of Software Maintenance: Research and Practice
Reverse-engineering and intermodular data flow: a theoretical approach
Journal of Software Maintenance: Research and Practice
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
GENOA: a customizable language- and front-end independent code analyzer
ICSE '92 Proceedings of the 14th international conference on Software engineering
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Reverse engineering processes, design document production, and structure charts
Journal of Systems and Software
A practical interprocedural data flow analysis algorithm
Communications of the ACM
Efficient computation of flow insensitive interprocedural summary information
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Structured Analysis
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
An efficient way to find the side effects of procedure calls and the aliases of variables
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Knowledge-Based Program Analysis
IEEE Software
Tools Fair: Out of the Lab, Onto the Shelf
IEEE Software
Implementing relational views of programs
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Program understanding and the concept assignment problem
Communications of the ACM
Reverse engineering and system renovation—an annotated bibliography
ACM SIGSOFT Software Engineering Notes
An Extensible System for Source Code Analysis
IEEE Transactions on Software Engineering
Maintaining software through intentional source-code views
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
An Approach for Recovering Distributed System Architectures
Automated Software Engineering
Correction to 'A4 Logic-Based Approach to Reverse Engineering Tools Production (Dec 92 1053-1064)
IEEE Transactions on Software Engineering
Towards Building a Smarter Domain Knowledge Recovery Assistant1
COMPSAC '00 24th International Computer Software and Applications Conference
Design of a generic reverse engineering assistant tool
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Induced intentional software views
Computer Languages, Systems and Structures
Hi-index | 0.02 |
Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information by static analysis of code, its representation in a Prolog program dictionary, and a Prolog abstractor that allows the specific queries to be answered.