165 search results - page 7 / 33 » Static Analysis of Students' Java Programs |
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
114
click to vote
APAQS
2001
IEEE
15 years 3 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
123
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
113
click to vote
CC
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
107
click to vote
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...