36 search results - page 8 / 8 » Modular verification of code with SAT |
239
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...