3256 search results - page 115 / 652 » Mixin-Based Programming in C |
118
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
105
Voted
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
132
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
130
Voted
SIAMJO
2011
14 years 10 months ago
2011
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...
83
Voted
CHI
2006
ACM
16 years 4 months ago
2006
ACM