768 search results - page 65 / 154 » Symbolic and Abstract Interpretation for C C Programs |
CODES
2009
IEEE
14 years 2 months ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
HPCN
1998
Springer
14 years 7 days ago
1998
Springer
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
ML
2008
ACM
13 years 8 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...