Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The PegaSys System: pictures as formal documentation of large programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
KMS: a distributed hypermedia system for managing knowledge in organizations
Communications of the ACM
The C Information Abstraction System
IEEE Transactions on Software Engineering
Automated program recognition: a feasibility demonstration
Artificial Intelligence
IEEE Transactions on Software Engineering
The SGML handbook
Identifying syntactic differences between two programs
Software—Practice & Experience
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
A hypertext system for literate C++ programming
Journal of Object-Oriented Programming
The use of program dependence graphs in software engineering
ICSE '92 Proceedings of the 14th international conference on Software engineering
Maintenance Support for Object-Oriented Programs
IEEE Transactions on Software Engineering - Special issue on software maintenance
Building and maintaining analysis-level class hierarchies using Galois Lattices
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Fine-grained revision control for collaborative software development
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A theory of parameterized pattern matching: algorithms and applications
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Types and inheritance in hypertext
International Journal of Human-Computer Studies - Special issue: object-oriented approaches in artificial intelligence and human-computer interaction
Literate Smalltalk Programming Using Hypertext
IEEE Transactions on Software Engineering
Rich hypertext: a foundation for improved interaction techniques
International Journal of Human-Computer Studies - Special issue: knowledge-based hypermedia
Generation of formatters for context-free languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design of whole-program analysis tools
Proceedings of the 18th international conference on Software engineering
An empirical study of static call graph extractors
Proceedings of the 18th international conference on Software engineering
Retrieval of reusable components using functional similarity
Software—Practice & Experience
Measuring the readability and maintainability of hyperdocuments
Journal of Software Maintenance: Research and Practice
Programmers use slices when debugging
Communications of the ACM
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
Recognizing a Program's Design: A Graph-Parsing Approach
IEEE Software
A Hypertext Based Software-Engineering Environment
IEEE Software
A Query Algebra for Program Databases
IEEE Transactions on Software Engineering
CARE: An Environment for Understanding and Re-Engineering C Programs
ICSM '93 Proceedings of the Conference on Software Maintenance
Query Primitives for Tree-Structured Data
CPM '94 Proceedings of the 5th Annual Symposium on Combinatorial Pattern Matching
Creating transient hypertextual access structures for C programs
ICCSSE '96 Proceedings of the 7th Israeli Conference on Computer-Based Systems and Software Engineering
Graphs and Hypergraphs
Experimental evaluation of hypertext access structures
Journal of Software Maintenance: Research and Practice
Hypertext support for the information needs of software maintainers
Journal of Software Maintenance and Evolution: Research and Practice
Automated software license analysis
Automated Software Engineering
Hi-index | 0.00 |
Several important aspects of software systems can be expressed as dependencies between their components. A special class of dependencies concentrates on the program text and captures the technical structure and behavior of the target system. The central characteristic making such program dependencies valuable in software engineering environments is that they can be automatically extracted from the program by applying well-known methods of programming language implementation. We present a model of program dependencies by considering them as relations between program elements. Moreover, we show how dependency relations form the basis of producing a graph-like hypertextual representation of programs for a programming environment. Having a general and well-defined model of program dependencies as a foundation makes it easier to systematically construct and integrate language-based tools. As an example application, we present a hypertextual tool which is founded on our relational dependency model and which can be used to maintain programs written in the programming language C.