3889 search results - page 72 / 778 » The Use of Program Dependence Graphs in Software Engineering |
116
Voted
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
139
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
120
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
122
Voted
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
120
click to vote
SIGCSE
2005
ACM
15 years 9 months ago
2005
ACM
The subject matter of a typical undergraduate software engineering course, while providing necessary background, can be quite dry. Team-based programming projects often complement...