the book "Checking C Programs with Lint"

E130983

book technical book

"Checking C Programs with Lint" is a technical book by Ian Darwin that explains how to use the lint tool to analyze and improve the reliability and portability of C code.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
"Checking C Programs with Lint"	1
lint (C program checker)	1
the book "Checking C Programs with Lint" canonical	1

How this entity was disambiguated

This entity first appeared as the object of triple T1133844 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: the book "Checking C Programs with Lint"
Context triple: [Ian Darwin, knownFor, the book "Checking C Programs with Lint"]

A. Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools is a foundational computer science textbook that systematically covers the theory and practice of compiler design and implementation.
B. CWEB literate programming system
The CWEB literate programming system is a software tool created by Donald E. Knuth (with Silvio Levy) that integrates C or C++ source code with richly formatted documentation to produce both compilable programs and high-quality typeset descriptions.
C. Literate Programming
Literate Programming is a programming paradigm introduced by Donald Knuth that emphasizes writing code as an explanatory narrative for humans, with machine-executable instructions embedded within the documentation.
D. The Minimalist Program
The Minimalist Program is a major theoretical framework in generative linguistics, developed by Noam Chomsky, that seeks to explain the properties of human language through the simplest and most economical principles and mechanisms.
E. Programming Pearls
Programming Pearls is a classic computer science book by Jon Bentley that teaches practical problem-solving, algorithm design, and programming techniques through engaging essays and puzzles.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: the book "Checking C Programs with Lint"
Target entity description: "Checking C Programs with Lint" is a technical book by Ian Darwin that explains how to use the lint tool to analyze and improve the reliability and portability of C code.

A. Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools is a foundational computer science textbook that systematically covers the theory and practice of compiler design and implementation.
B. CWEB literate programming system
The CWEB literate programming system is a software tool created by Donald E. Knuth (with Silvio Levy) that integrates C or C++ source code with richly formatted documentation to produce both compilable programs and high-quality typeset descriptions.
C. Literate Programming
Literate Programming is a programming paradigm introduced by Donald Knuth that emphasizes writing code as an explanatory narrative for humans, with machine-executable instructions embedded within the documentation.
D. The Minimalist Program
The Minimalist Program is a major theoretical framework in generative linguistics, developed by Noam Chomsky, that seeks to explain the properties of human language through the simplest and most economical principles and mechanisms.
E. Programming Pearls
Programming Pearls is a classic computer science book by Jon Bentley that teaches practical problem-solving, algorithm design, and programming techniques through engaging essays and puzzles.
F. None of above. chosen

Statements (33)

Predicate	Object
instanceOf	book ⓘ technical book ⓘ
about	improving C code quality through static analysis ⓘ
author	Ian Darwin ⓘ Ian F. Darwin ⓘ linked to: Ian Darwin
focusesOn	detecting potential bugs in C code ⓘ improving portability of C programs ⓘ improving reliability of C programs ⓘ using lint to analyze C programs ⓘ
genre	computer science literature ⓘ software engineering literature ⓘ
hasForm	book-length tutorial ⓘ
intendedAudience	C programmers ⓘ software developers ⓘ software engineers ⓘ
language	English ⓘ
medium	print ⓘ
relatedTo	lint (C program checker) ⓘ linked to: the book "Checking C Programs with Lint" static analysis tools for C ⓘ
subject	C programming language ⓘ linked to: C program portability ⓘ program reliability ⓘ software quality ⓘ static code analysis ⓘ
teaches	how to interpret lint warnings ⓘ how to use lint effectively ⓘ how to write more portable C code ⓘ how to write more robust C code ⓘ
toolDescribed	lint ⓘ
topic	code style checking ⓘ finding undefined behavior in C programs ⓘ portability issues across C compilers ⓘ static checking of C source code ⓘ

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Ian Darwin → knownFor → the book "Checking C Programs with Lint" ⓘ

Ian Darwin → hasWritten → "Checking C Programs with Lint" ⓘ

linked to: the book "Checking C Programs with Lint"

Checking C Programs with Lint → relatedTo → lint (C program checker) ⓘ

subject linked to: the book "Checking C Programs with Lint"