768 search results - page 108 / 154 » Symbolic and Abstract Interpretation for C C Programs |
LCTRTS
2010
Springer
14 years 4 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
LCTRTS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
SAS
2004
Springer
14 years 2 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
LOPSTR
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...