“Programming Languages, Their Definition and Function”
E563544
“Programming Languages, Their Definition and Function” is a foundational computer science text by Peter Naur that systematically formalizes the structure, semantics, and practical use of programming languages.
All labels observed (1)
| Label | Occurrences |
|---|---|
| “Programming Languages, Their Definition and Function” canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6023116 — 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: “Programming Languages, Their Definition and Function” Context triple: [Peter Naur, notableWork, “Programming Languages, Their Definition and Function”]
-
A.
The Next 700 Programming Languages
"The Next 700 Programming Languages" is a seminal 1966 paper by Peter J. Landin that introduced key concepts in the theory and design of programming languages, including the ISWIM language and the use of lambda calculus as a foundation for language semantics.
-
B.
Programming Language Design and Implementation
Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
-
C.
Algorithms + Data Structures = Programs
"Algorithms + Data Structures = Programs" is a classic computer science textbook by Niklaus Wirth that systematically teaches how combining appropriate data structures with algorithms leads to effective and efficient programs.
-
D.
Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
-
E.
The Logic of Computer Programming
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.
- 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: “Programming Languages, Their Definition and Function” Target entity description: “Programming Languages, Their Definition and Function” is a foundational computer science text by Peter Naur that systematically formalizes the structure, semantics, and practical use of programming languages.
-
A.
The Next 700 Programming Languages
"The Next 700 Programming Languages" is a seminal 1966 paper by Peter J. Landin that introduced key concepts in the theory and design of programming languages, including the ISWIM language and the use of lambda calculus as a foundation for language semantics.
-
B.
Programming Language Design and Implementation
Programming Language Design and Implementation is a premier annual academic conference focusing on research in programming languages and compilers, sponsored by ACM SIGPLAN.
-
C.
Algorithms + Data Structures = Programs
"Algorithms + Data Structures = Programs" is a classic computer science textbook by Niklaus Wirth that systematically teaches how combining appropriate data structures with algorithms leads to effective and efficient programs.
-
D.
Types and Programming Languages (research contributions)
Types and Programming Languages (research contributions) refers to Tobias Nipkow’s influential work advancing the theory and mechanization of type systems and programming language semantics, particularly through formal verification and theorem proving.
-
E.
The Logic of Computer Programming
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.
- F. None of above. chosen
Statements (30)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
computer science text ⓘ |
| about |
definition of programming languages
ⓘ
function of programming languages in practice ⓘ |
| author | Peter Naur NERFINISHED ⓘ |
| contributor | Peter Naur NERFINISHED ⓘ |
| field |
computer science
ⓘ
programming languages ⓘ |
| focusesOn |
practical use of programming languages
ⓘ
semantics of programming languages ⓘ structure of programming languages ⓘ |
| hasForm | printed book ⓘ |
| hasGenre |
academic literature
ⓘ
technical monograph ⓘ |
| influenced |
teaching of programming language concepts
ⓘ
theory of programming language design ⓘ |
| influencedBy |
early programming language research
ⓘ
formal methods in computer science ⓘ |
| language | English ⓘ |
| mainSubject |
formal description of programming languages
ⓘ
programming language definition ⓘ programming language semantics ⓘ |
| relatedTo |
axiomatic semantics
ⓘ
compiler construction ⓘ denotational semantics ⓘ formal language theory ⓘ language specification ⓘ operational semantics ⓘ program verification ⓘ syntax of programming languages ⓘ |
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: “Programming Languages, Their Definition and Function” Description of subject: “Programming Languages, Their Definition and Function” is a foundational computer science text by Peter Naur that systematically formalizes the structure, semantics, and practical use of programming languages.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.