Lint, a C Program Checker (1978)

Cached

Download Links

by S. C. Johnson
Venue:COMP. SCI. TECH. REP
Citations:35 - 2 self

Documents Related by Co-Citation

1232 The C Programming Language – Dennis M. Ritchie - 1988
227 Finding bugs is easy – David Hovemeyer, William Pugh - 2004
30 A Portable Compiler: Theory and Practice – S C Johnson - 1978
338 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
75 a C program checker – Lint - 1978
336 A First Step towards Automated Detection of Buffer Overrun Vulnerabilities – David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken - 2000
3 A Portable Compiler for the Language C – A Snyder - 1974
169 Yacc: Yet Another Compiler-Compiler – Stephen C. Johnson - 1975
1150 On computable numbers, with an application to the Entscheidungsproblem – A M Turing - 1936
26 FLAVERS: a Finite State Verification Technique for Software Systems – Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil - 2001
5 Cognac: a framework for documenting and verifying the design of Cobol systems – Andy Kellens, Luc Jorissen, Kris De Schutter, Bart Van Passel
8 Open unification for program query languages – J Brichau, C De Roover, K Mens - 2007
30 Managing the Evolution of Aspect-Oriented Software with Model-based Pointcuts – Andy Kellens, Kim Mens, Johan Brichau, Kris Gybels - 2006
22 Co-evolving code and design with intensional views - a case study – Andy Kellens, Frédéric Pluquet, Roel Wuyts - 2006
7 IntensiVE, a toolsuite for documenting and checking structural source-code regularities – K Mens, A Kellens
7 Practical, pluggable types for a dynamic language – Niklaus Haldimann, Marcus Denker, Oscar Nierstrasz - 2009
47 Practical pluggable types for Java – Matthew M. Papi - 2008
5237 Design Patterns: Elements of Reusable Object-Oriented Software – Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides - 1995
111 LCLint: A Tool for Using Specifications to Check Code – David Evans, John Guttag, James Horning, Yang Meng Tan - 1994