3708 search results - page 53 / 742 » Programming with C Exceptions |
FDL
2007
IEEE
14 years 3 months 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...
CAV
2006
Springer
14 years 21 days 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...
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
IEE
2000
13 years 8 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...
POPL
2012
ACM
12 years 4 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...