3473 search results - page 76 / 695 » Aspect-Oriented Programming with C |
135
click to vote
FDL
2007
IEEE
16 years 15 days ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
173
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
145
click to vote
IEE
2000
15 years 6 months ago
2000
: C++ retains the ANSI C preprocessor, although its limitations have been widely recognised. We describe FOG, a meta-compiler for a super-set of C++, that provides replacement prep...
197
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
161
click to vote
PLDI
1999
ACM
15 years 10 months ago
1999
ACM
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...