8 search results - page 1 / 2 » vstte 2010 |
84
Voted
VSTTE
2010
Springer
15 years 18 days ago
2010
Springer
105
Voted
VSTTE
2010
Springer
15 years 3 days ago
2010
Springer
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
126
click to vote
VSTTE
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
VSTTE
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...