102
click to vote
POPL
2002
ACM
15 years 23 days ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...