21 search results - page 5 / 5 » Static contract checking for Haskell |
PLDI
2003
ACM
13 years 9 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...