1497 search results - page 188 / 300 » Extended static checking |
119
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
209
Voted
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
218
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
102
click to vote
ICFP
2004
ACM
16 years 21 days ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
112
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...