7124 search results - page 73 / 1425 » Programming Languages and Operating Systems |
172
click to vote
PLDI
2006
ACM
16 years 4 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
177
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
176
click to vote
EMO
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces an interface specification (PISA) that allows to separate the problem-specific part of an optimizer from the problem-independent part. We propose a view of ...
136
click to vote
ESOP
2009
Springer
16 years 29 days ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
144
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...