768 search results - page 108 / 154 » Symbolic and Abstract Interpretation for C C Programs |
137
Voted
LCTRTS
2010
Springer
16 years 2 days 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...
115
Voted
PPOPP
2009
ACM
16 years 5 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...
135
click to vote
LCTRTS
2005
Springer
15 years 10 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...
144
Voted
SAS
2004
Springer
15 years 10 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...
147
click to vote
LOPSTR
2001
Springer
15 years 9 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...