8 search results - page 1 / 2 » vstte 2010 |
67
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
VSTTE
2010
Springer
14 years 9 months ago
2010
Springer
VSTTE
2010
Springer
14 years 9 months 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 ...
104
click to vote
VSTTE
2010
Springer
14 years 10 months 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
14 years 10 months 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...