Statements (47)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theory
|
| gptkbp:addresses |
program execution
|
| gptkbp:appliesTo |
programming languages
|
| gptkbp:description |
relationship between programming languages and mathematical logic
|
| gptkbp:developedBy |
gptkb:Peter_Landin
|
| gptkbp:hasRelatedPatent |
compiler design
|
| https://www.w3.org/2000/01/rdf-schema#label |
Landin's Correspondence
|
| gptkbp:influencedBy |
Church's_thesis
|
| gptkbp:isActiveIn |
philosophy of language
|
| gptkbp:isAssociatedWith |
abstract interpretation
|
| gptkbp:isAvenueFor |
software engineering
|
| gptkbp:isCitedBy |
many academic papers
|
| gptkbp:isConnectedTo |
computational models
|
| gptkbp:isConsidered |
seminal work
a foundational concept in programming language theory |
| gptkbp:isCriticizedFor |
language design
|
| gptkbp:isDiscussedIn |
research conferences
academic literature |
| gptkbp:isDocumentedIn |
academic journals
|
| gptkbp:isExaminedBy |
formal methods
|
| gptkbp:isExploredIn |
case studies
computer science curricula advanced computer science courses |
| gptkbp:isInfluencedBy |
functional programming
Turing machines |
| gptkbp:isInvolvedIn |
various contexts
|
| gptkbp:isLinkedTo |
program verification
|
| gptkbp:isPartOf |
computer science
theoretical computer science the history of programming languages |
| gptkbp:isRecognizedFor |
a key contribution to computer science.
|
| gptkbp:isReferencedIn |
textbooks
|
| gptkbp:isReflectedIn |
modern programming paradigms
|
| gptkbp:isRelatedTo |
software architecture
the study of algorithms denotational semantics operational semantics |
| gptkbp:isStudiedIn |
computer scientists
|
| gptkbp:isTestedFor |
many programming paradigms
|
| gptkbp:isUsedIn |
type theory
|
| gptkbp:isUtilizedFor |
program analysis
|
| gptkbp:isUtilizedIn |
software development
|
| gptkbp:keyIssues |
understanding computation
|
| gptkbp:provides |
a framework for understanding semantics
|
| gptkbp:publishedIn |
1960
|
| gptkbp:relatedTo |
lambda calculus
|
| gptkbp:utilizes |
continuations
|