Sciweavers

69
Voted
SIGSOFT
1994
ACM
15 years 1 months ago
LCLint: A Tool for Using Specifications to Check Code
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...
David Evans, John V. Guttag, James J. Horning, Yan...