7202 search results - page 1311 / 1441 » Software System Engineering: A Tutorial |
181
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
170
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
155
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of aggressive code transformations. Since most of these transformations are...
192
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
135
Voted
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...