Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019797851> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2019797851 abstract "In this paper, formal semantics of program constructs are defined by predicate transformer introduced by Dijkstra [3,4]. A predicate transformer is a mapping which transforms a set of states after the execution of a program to the set of all possible states before the execution of the same program. Thus, the concept of determinism no longer has its significance in this semantic context. Rather, the focus is on the nature of the computation, and hence the concept of iteration, and not how the program iterates, becomes a dominant concern here." @default.
- W2019797851 created "2016-06-24" @default.
- W2019797851 creator A5004602153 @default.
- W2019797851 date "1976-01-01" @default.
- W2019797851 modified "2023-09-25" @default.
- W2019797851 title "An approach to program verification" @default.
- W2019797851 cites W151011738 @default.
- W2019797851 cites W1844447331 @default.
- W2019797851 cites W1968482350 @default.
- W2019797851 cites W1972894053 @default.
- W2019797851 cites W1987585903 @default.
- W2019797851 cites W2039586513 @default.
- W2019797851 cites W2066210260 @default.
- W2019797851 cites W2090767487 @default.
- W2019797851 cites W2094874241 @default.
- W2019797851 cites W3146075203 @default.
- W2019797851 doi "https://doi.org/10.1145/800146.804828" @default.
- W2019797851 hasPublicationYear "1976" @default.
- W2019797851 type Work @default.
- W2019797851 sameAs 2019797851 @default.
- W2019797851 citedByCount "1" @default.
- W2019797851 crossrefType "proceedings-article" @default.
- W2019797851 hasAuthorship W2019797851A5004602153 @default.
- W2019797851 hasBestOaLocation W20197978511 @default.
- W2019797851 hasConcept C132525143 @default.
- W2019797851 hasConcept C140146324 @default.
- W2019797851 hasConcept C156325763 @default.
- W2019797851 hasConcept C173870130 @default.
- W2019797851 hasConcept C184337299 @default.
- W2019797851 hasConcept C199360897 @default.
- W2019797851 hasConcept C22590252 @default.
- W2019797851 hasConcept C30128091 @default.
- W2019797851 hasConcept C41008148 @default.
- W2019797851 hasConcept C80444323 @default.
- W2019797851 hasConceptScore W2019797851C132525143 @default.
- W2019797851 hasConceptScore W2019797851C140146324 @default.
- W2019797851 hasConceptScore W2019797851C156325763 @default.
- W2019797851 hasConceptScore W2019797851C173870130 @default.
- W2019797851 hasConceptScore W2019797851C184337299 @default.
- W2019797851 hasConceptScore W2019797851C199360897 @default.
- W2019797851 hasConceptScore W2019797851C22590252 @default.
- W2019797851 hasConceptScore W2019797851C30128091 @default.
- W2019797851 hasConceptScore W2019797851C41008148 @default.
- W2019797851 hasConceptScore W2019797851C80444323 @default.
- W2019797851 hasLocation W20197978511 @default.
- W2019797851 hasOpenAccess W2019797851 @default.
- W2019797851 hasPrimaryLocation W20197978511 @default.
- W2019797851 hasRelatedWork W135120204 @default.
- W2019797851 hasRelatedWork W1482532369 @default.
- W2019797851 hasRelatedWork W1539823645 @default.
- W2019797851 hasRelatedWork W1587224678 @default.
- W2019797851 hasRelatedWork W2020850585 @default.
- W2019797851 hasRelatedWork W2062251861 @default.
- W2019797851 hasRelatedWork W2157449911 @default.
- W2019797851 hasRelatedWork W2185409361 @default.
- W2019797851 hasRelatedWork W2915995131 @default.
- W2019797851 hasRelatedWork W3021003119 @default.
- W2019797851 isParatext "false" @default.
- W2019797851 isRetracted "false" @default.
- W2019797851 magId "2019797851" @default.
- W2019797851 workType "article" @default.