Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387645254> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W4387645254 endingPage "62" @default.
- W4387645254 startingPage "53" @default.
- W4387645254 abstract "In this chapter, we will not be concerned with programming languages but with the limits of the programs that we can write, asking whether there exist problems that no program can solve. A motivation for this research is the question that we asked at the end of Sect. 2.3 : that is, is it possible to construct a static semantic analyser which can verify constraints imposed by the programming language’s definition? We will soon discover, however, that the answer to the question is rather more general. It is a kind of absolute limit to what can (and cannot) be done with a computer. Although the material in this chapter can appear abstract, our treatment is wholly elementary." @default.
- W4387645254 created "2023-10-15" @default.
- W4387645254 creator A5025039355 @default.
- W4387645254 creator A5086707385 @default.
- W4387645254 date "2023-01-01" @default.
- W4387645254 modified "2023-10-15" @default.
- W4387645254 title "Foundations" @default.
- W4387645254 cites W2022731279 @default.
- W4387645254 doi "https://doi.org/10.1007/978-3-031-34144-1_3" @default.
- W4387645254 hasPublicationYear "2023" @default.
- W4387645254 type Work @default.
- W4387645254 citedByCount "0" @default.
- W4387645254 crossrefType "book-chapter" @default.
- W4387645254 hasAuthorship W4387645254A5025039355 @default.
- W4387645254 hasAuthorship W4387645254A5086707385 @default.
- W4387645254 hasConcept C134306372 @default.
- W4387645254 hasConcept C145420912 @default.
- W4387645254 hasConcept C151201525 @default.
- W4387645254 hasConcept C185592680 @default.
- W4387645254 hasConcept C199360897 @default.
- W4387645254 hasConcept C26834552 @default.
- W4387645254 hasConcept C2780801425 @default.
- W4387645254 hasConcept C33923547 @default.
- W4387645254 hasConcept C41008148 @default.
- W4387645254 hasConcept C43617362 @default.
- W4387645254 hasConceptScore W4387645254C134306372 @default.
- W4387645254 hasConceptScore W4387645254C145420912 @default.
- W4387645254 hasConceptScore W4387645254C151201525 @default.
- W4387645254 hasConceptScore W4387645254C185592680 @default.
- W4387645254 hasConceptScore W4387645254C199360897 @default.
- W4387645254 hasConceptScore W4387645254C26834552 @default.
- W4387645254 hasConceptScore W4387645254C2780801425 @default.
- W4387645254 hasConceptScore W4387645254C33923547 @default.
- W4387645254 hasConceptScore W4387645254C41008148 @default.
- W4387645254 hasConceptScore W4387645254C43617362 @default.
- W4387645254 hasLocation W43876452541 @default.
- W4387645254 hasOpenAccess W4387645254 @default.
- W4387645254 hasPrimaryLocation W43876452541 @default.
- W4387645254 hasRelatedWork W1904432136 @default.
- W4387645254 hasRelatedWork W1975208120 @default.
- W4387645254 hasRelatedWork W1987186610 @default.
- W4387645254 hasRelatedWork W1999639011 @default.
- W4387645254 hasRelatedWork W2002610686 @default.
- W4387645254 hasRelatedWork W2005457983 @default.
- W4387645254 hasRelatedWork W2039934116 @default.
- W4387645254 hasRelatedWork W2045256599 @default.
- W4387645254 hasRelatedWork W2096369514 @default.
- W4387645254 hasRelatedWork W2092836002 @default.
- W4387645254 isParatext "false" @default.
- W4387645254 isRetracted "false" @default.
- W4387645254 workType "book-chapter" @default.