209 search results - page 32 / 42 » An executable formal semantics of C with applications |
170
click to vote
HASKELL
2009
ACM
16 years 6 days ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
158
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
174
click to vote
CSFW
2011
IEEE
14 years 5 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
158
click to vote
CODES
2007
IEEE
16 years 1 days ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
167
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
As wireless platforms converge to multimedia systems, architectures must converge to support voice, data, and video applications. From a processor architecture perspective, suppor...