209 search results - page 25 / 42 » Static Checking of Interrupt-Driven Software |
137
Voted
AOSD
2004
ACM
15 years 9 months ago
2004
ACM
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
155
Voted
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
121
Voted
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
129
Voted
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
138
Voted
POPL
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...