3256 search results - page 29 / 652 » Mixin-Based Programming in C |
126
click to vote
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
116
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
SCAM
2009
IEEE
15 years 9 months ago
2009
IEEE
FM
2009
Springer
15 years 9 months ago
2009
Springer
ASIAN
2007
Springer
15 years 8 months ago
2007
Springer