4211 search results - page 37 / 843 » Types as Abstract Interpretations |
ENTCS
2006
14 years 12 months ago
2006
COMBINATORICS
2007
14 years 11 months ago
2007
JCT
2011
14 years 6 months ago
2011
122
click to vote
ECOOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
119
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...