Sciweavers

3473 search results - page 54 / 695
» Aspect-Oriented Programming with C
Sort
View
CC
2002
Springer
131views System Software» more  CC 2002»
13 years 9 months ago
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
George C. Necula, Scott McPeak, Shree Prakash Rahu...
C++
1990
64views more  C++ 1990»
13 years 11 months ago
Reliable Distributed Programming in C++: The Arjuna Approach
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...
Graham D. Parrington
CADE
2007
Springer
14 years 10 months ago
KeY-C: A Tool for Verification of C Programs
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
Daniel Larsson, Oleg Mürk, Reiner Hähnle
WORDS
2005
IEEE
14 years 3 months ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...
ISORC
2002
IEEE
14 years 2 months ago
Program Instrumentation for Debugging and Monitoring with AspectC++
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
Daniel Mahrenholz, Olaf Spinczyk, Wolfgang Schr&ou...