MIT Laboratory / M. LCLint / MIT Press / CRC Press / IEEE Software / /
Country
United States / / /
Facility
DEC Systems Research Center / MIT Laboratory / Prentice Hall / /
Holiday
return day / /
IndustryTerm
on-line help / message printing / software development / program verification systems / portfolio management tool / software reliability / real software development / software designs / /
OperatingSystem
Unix / OSF/1 / Ultrix / Solaris / /
Organization
National Science Foundation / MIT / US Department of Defense / US Government Printing Office / /
Person
Yang Meng Tan / John Guttag / Gary Feldman / James H. Morris / Jr. / Steve Harrison / Leon J. Osterweil / Yang Meng Tan Abstract / David Evans / Steve Garland / Keith W. Miller / Fred Stevens / Steven P. Reiss / Cindy Wilson / Kurt M. Olender / Larry J. Morell / Kevin Jones / Dan Craigen / Bill McKeeman / James Horning / Joe Wild / Jeannette Wing / Greg Nelson / L. D. Fosdick / Barbara Liskov / Carolyn K. Duby / Scott Meyers / Daniel Jackson / /
Position
type qualifier / editor / Prime Minister / experienced Fortran programmer / General / Software Engineer / programmer / /
Product
LCLint / /
ProgrammingLanguage
C / Modula-3 / ANSI C / Ada / CLU / D / Fortran / C++ / /
PublishedMedium
IEEE Transactions on Software Engineering / IEEE Software / /
LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan Abstract This paper describes LCLint, an efficient and flexible tool that accepts as input programs (writt