Linux
Windows 95/NT
       DevStudio
Source

User's Guide
       HTML Online
Publications
Samples

Links
Mailing Lists
Bugs

Credits

LCLint Publications

David Evans. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI '96), Philadelphia, PA, May 1996.

LCLint: A Tool for Using Specifications to Check Code

David Evans, John Guttag, Jim Horning and Yang Meng Tan, SIGSOFT Symposium on the Foundations of Software Engineering, December 1994.

Using Specifications to Check Source Code

David Evans, MIT/LCS/TR-628, June 1994, SM Thesis.

Other Larch Project Publications