the book "Checking C Programs with Lint"
E130983
"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.
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 Darwin ⓘ
surface form:
Ian F. 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 |
the book "Checking C Programs with Lint"
self-linksurface differs
ⓘ
surface form:
lint (C program checker)
static analysis tools for C ⓘ |
| subject |
C
ⓘ
surface form:
C programming language
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
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: the book "Checking C Programs with Lint" Description of subject: "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.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
"Checking C Programs with Lint"
the book "Checking C Programs with Lint"
→
relatedTo
→
the book "Checking C Programs with Lint"
self-linksurface differs
ⓘ
subject surface form:
Checking C Programs with Lint
this entity surface form:
lint (C program checker)