VMCAI
13 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...
VMCAI
13 years 10 months ago
2004 Springer
Abstract. The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. In this paper we define three g...
VMCAI
13 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...
VMCAI
13 years 10 months ago
2004 Springer VMCAI
13 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...
|