182 search results - page 34 / 37 » Static Program Analysis for Java Card Applets |
171
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
105
Voted
TSE
2011
14 years 4 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
100
click to vote
TIC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
98
Voted
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...