170
click to vote
VMCAI
15 years 10 months ago
2004 Springer 
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
155
click to vote
VMCAI
15 years 10 months ago
2004 Springer 
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
174
click to vote
VMCAI
15 years 10 months ago
2004 Springer 
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
145
click to vote
VMCAI
15 years 10 months ago
2004 Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
|
Software Engineering