Lint, a C Program Checker (1978)

Cached

Download Links

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

Active Bibliography

8 The UNIX Time-sharing System -- A Retrospective – Dennis M. Ritchie - 1977
171 Yacc: Yet Another Compiler-Compiler – Stephen C. Johnson - 1975
7 A Tour Through the Portable C Compiler – S. C. Johnson - 1981
InScript - a C-like preprocessor for Postscript – Jakob Gonczarowski, On G. Paradise - 1989
1 Implementation of Procedures in a Database Programming Language – Rebecca Lui - 1996
1 An Implementation of the Haskell Language – Diomidis Spinellis - 1990
Awk -- A Pattern Scanning and Processing Language (Second Edition) – Alfred V. Aho, Brian W. Kernighan, Peter J. Weinberger - 1978
3 CSDL: Reusable Computing System Descriptions for Retargetable System Software – Mark W. Bailey, John Knight, Ronald Williams - 2000
10 Towards Automated Modification of Legacy Assets – Chris Verhoef - 2000
70 The Transmogrifier C Hardware Description Language and Compiler for FPGAs – David Galloway - 1995
17 Design and Implementation of Parallel Make – Erik H. Baalbergen - 1988
8 Automatic Generation Of Data-Flow Analyzers: A Tool For Building Optimizers – Steven Weng-kiang Tjiang, Daniel Weise, Mike Smith, Bob Wilson - 1993
1237 The C Programming Language – Dennis M. Ritchie - 1988
45 Coping with Type Casts in C – Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas Reps - 1999
46 Physical Type Checking for C – Satish Chandra, Thomas Reps - 1999
Transparent Remote Procedure Calls – Michelle Denise Abram, Prof Darrell, D. E. Long, Prof Tracy Larrabee, Prof Charles E. M - 1992
Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench – Gerard Ellis, Robert Levinson (eds.), Robert Levinson - 1992
Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench – Gerard Ellis Robert, Robert Levinson - 1992
LINEAR - Linear Notation Interface Subgroup – Young Bae Choi, Maurice Pagnucco, Michel Wermelinger - 1992