3889 search results - page 722 / 778 » The Use of Program Dependence Graphs in Software Engineering |
124
click to vote
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes an algorithm that takes a trace (i.e., a sequence of numbers or vectors of numbers) as input, and from that produces a sequence of loop nests that, when run, ...
128
Voted
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
127
click to vote
PASTE
2010
ACM
15 years 5 months ago
2010
ACM
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...
148
click to vote
JUCS
2008
15 years 3 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
163
click to vote
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...