684 search results - page 76 / 137 » Compiler Tools in APL |
151
Voted
INFSOF
2008
15 years 3 months ago
2008
Aspect-based refactoring, called aspectualization, involves moving program code that implements cross-cutting concerns into aspects. Such refactoring can improve the maintainabili...
177
Voted
PLDI
2003
ACM
15 years 8 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...
173
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
121
Voted
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
130
Voted
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
The usefulness and usability of programming tools (for example, languages, libraries, and frameworks) may greatly impact programmer productivity and software quality. Ideally, the...