768 search results - page 23 / 154 » Symbolic and Abstract Interpretation for C C Programs |
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
UM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
Many instructors use program runtimes to illustrate and reinforce algorithm complexity concepts. Hardware, operating system and compilers have historically influenced runtime resu...
POS
1990
Springer
13 years 12 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...