The Logic of Computer Programming
E260371
The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
All labels observed (1)
| Label | Occurrences |
|---|---|
| The Logic of Computer Programming canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2384368 — 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 Logic of Computer Programming Context triple: [Zohar Manna, authorOf, The Logic of Computer Programming]
-
A.
Introduction to Logical Theory
Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
-
B.
Computability and Unsolvability
Computability and Unsolvability is a classic 1958 textbook by Martin Davis that systematically develops the theory of computable functions and undecidable problems, helping to shape modern computability theory.
-
C.
Hoare logic
Hoare logic is a formal system in computer science used to reason rigorously about the correctness of computer programs using logical assertions about program states.
-
D.
A Beginner’s Guide to Mathematical Logic
A Beginner’s Guide to Mathematical Logic is an introductory textbook that explains the fundamental concepts and techniques of mathematical logic in a clear and accessible style.
-
E.
Science of Logic
Science of Logic is a foundational philosophical work by G.W.F. Hegel that systematically develops his dialectical method and metaphysical account of concepts, being, and reality.
- 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 Logic of Computer Programming Target entity description: The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
-
A.
Introduction to Logical Theory
Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
-
B.
Computability and Unsolvability
Computability and Unsolvability is a classic 1958 textbook by Martin Davis that systematically develops the theory of computable functions and undecidable problems, helping to shape modern computability theory.
-
C.
Hoare logic
Hoare logic is a formal system in computer science used to reason rigorously about the correctness of computer programs using logical assertions about program states.
-
D.
A Beginner’s Guide to Mathematical Logic
A Beginner’s Guide to Mathematical Logic is an introductory textbook that explains the fundamental concepts and techniques of mathematical logic in a clear and accessible style.
-
E.
Science of Logic
Science of Logic is a foundational philosophical work by G.W.F. Hegel that systematically develops his dialectical method and metaphysical account of concepts, being, and reality.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
textbook
ⓘ
work in theoretical computer science ⓘ |
| aimsTo |
develop systematic methods for reasoning about programs
ⓘ
provide a logical foundation for program verification ⓘ teach formal proof techniques for software correctness ⓘ |
| approach |
axiomatic reasoning about programs
ⓘ
proof-oriented program development ⓘ |
| contributesTo |
formalization of reasoning about programs
ⓘ
foundations of software verification ⓘ |
| covers |
logical rules for program constructs
ⓘ
proofs of partial correctness ⓘ proofs of total correctness ⓘ reasoning about conditionals ⓘ reasoning about loops ⓘ reasoning about program composition ⓘ specification of computer programs ⓘ |
| educationalUse | university-level course material ⓘ |
| emphasizes |
formal proofs over testing alone
ⓘ
mathematical treatment of programming constructs ⓘ rigor in program reasoning ⓘ soundness of proof rules ⓘ |
| field | theoretical computer science ⓘ |
| focusesOn |
methods for proving program correctness
ⓘ
methods for specifying program behavior ⓘ rigorous reasoning about programs ⓘ |
| genre | academic textbook ⓘ |
| intendedAudience |
advanced undergraduate students in computer science
ⓘ
graduate students in computer science ⓘ researchers in formal methods ⓘ theoretical computer scientists ⓘ |
| relatedConcept |
Hoare logic
ⓘ
axiomatic semantics ⓘ correctness proofs ⓘ formal specification languages ⓘ program logic ⓘ |
| relatedDiscipline |
mathematical logic
ⓘ
programming languages ⓘ software engineering ⓘ |
| topic |
formal methods
ⓘ
formal specification of programs ⓘ mathematical logic in programming ⓘ program correctness ⓘ program verification ⓘ proof techniques for programs ⓘ |
| uses |
formal proof systems
ⓘ
mathematical logic ⓘ rigorous mathematical notation ⓘ |
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 Logic of Computer Programming Description of subject: The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.