3889 search results - page 142 / 778 » The Use of Program Dependence Graphs in Software Engineering |
133
Voted
IUI
2000
ACM
15 years 8 months ago
2000
ACM
We have explored a novel method to find textual relations in electronic documents using genetic programming and semantic networks. This can be used for enhancing information retri...
115
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...
145
Voted
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
139
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
152
Voted
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...