1911 search results - page 201 / 383 » Program analysis for code duplication in logic programs |
138
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
138
click to vote
CGO
2005
IEEE
15 years 11 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
136
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
180
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
159
click to vote
CACM
2010
15 years 3 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...