3256 search results - page 5 / 652 » Mixin-Based Programming in C |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
POPL
2012
ACM
12 years 3 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
HIPS
1998
IEEE
13 years 11 months ago
1998
IEEE
IEE
2000
13 years 7 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 3 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...