Matches in SemOpenAlex for { <https://semopenalex.org/work/W2372180541> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2372180541 abstract "Dijkstra's predicate transformer for specifying the semantics of guarded commands set and proving the total correctness of a program is generalized to a programming language with a goto statement.The concept of program state transformer is used to derive some basic results for verification of programs_2 The approach of proving the correctness-preserving property of some common program transformations that are used in the compiling process is also explored." @default.
- W2372180541 created "2016-06-24" @default.
- W2372180541 creator A5019942972 @default.
- W2372180541 date "1983-01-01" @default.
- W2372180541 modified "2023-09-25" @default.
- W2372180541 title "Program State Transformer (II)" @default.
- W2372180541 hasPublicationYear "1983" @default.
- W2372180541 type Work @default.
- W2372180541 sameAs 2372180541 @default.
- W2372180541 citedByCount "0" @default.
- W2372180541 crossrefType "journal-article" @default.
- W2372180541 hasAuthorship W2372180541A5019942972 @default.
- W2372180541 hasConcept C11413529 @default.
- W2372180541 hasConcept C119599485 @default.
- W2372180541 hasConcept C127413603 @default.
- W2372180541 hasConcept C132525143 @default.
- W2372180541 hasConcept C156325763 @default.
- W2372180541 hasConcept C165801399 @default.
- W2372180541 hasConcept C173870130 @default.
- W2372180541 hasConcept C184337299 @default.
- W2372180541 hasConcept C199360897 @default.
- W2372180541 hasConcept C22590252 @default.
- W2372180541 hasConcept C30128091 @default.
- W2372180541 hasConcept C41008148 @default.
- W2372180541 hasConcept C55439883 @default.
- W2372180541 hasConcept C66322947 @default.
- W2372180541 hasConcept C80444323 @default.
- W2372180541 hasConceptScore W2372180541C11413529 @default.
- W2372180541 hasConceptScore W2372180541C119599485 @default.
- W2372180541 hasConceptScore W2372180541C127413603 @default.
- W2372180541 hasConceptScore W2372180541C132525143 @default.
- W2372180541 hasConceptScore W2372180541C156325763 @default.
- W2372180541 hasConceptScore W2372180541C165801399 @default.
- W2372180541 hasConceptScore W2372180541C173870130 @default.
- W2372180541 hasConceptScore W2372180541C184337299 @default.
- W2372180541 hasConceptScore W2372180541C199360897 @default.
- W2372180541 hasConceptScore W2372180541C22590252 @default.
- W2372180541 hasConceptScore W2372180541C30128091 @default.
- W2372180541 hasConceptScore W2372180541C41008148 @default.
- W2372180541 hasConceptScore W2372180541C55439883 @default.
- W2372180541 hasConceptScore W2372180541C66322947 @default.
- W2372180541 hasConceptScore W2372180541C80444323 @default.
- W2372180541 hasLocation W23721805411 @default.
- W2372180541 hasOpenAccess W2372180541 @default.
- W2372180541 hasPrimaryLocation W23721805411 @default.
- W2372180541 hasRelatedWork W1487643886 @default.
- W2372180541 hasRelatedWork W1488765759 @default.
- W2372180541 hasRelatedWork W1538606085 @default.
- W2372180541 hasRelatedWork W1552930717 @default.
- W2372180541 hasRelatedWork W1808960808 @default.
- W2372180541 hasRelatedWork W2030101147 @default.
- W2372180541 hasRelatedWork W2060714294 @default.
- W2372180541 hasRelatedWork W2084052421 @default.
- W2372180541 hasRelatedWork W2099017529 @default.
- W2372180541 hasRelatedWork W2113755395 @default.
- W2372180541 hasRelatedWork W2124233822 @default.
- W2372180541 hasRelatedWork W2138154145 @default.
- W2372180541 hasRelatedWork W2150334538 @default.
- W2372180541 hasRelatedWork W2167301299 @default.
- W2372180541 hasRelatedWork W2168776788 @default.
- W2372180541 hasRelatedWork W2171996597 @default.
- W2372180541 hasRelatedWork W2365372175 @default.
- W2372180541 hasRelatedWork W3022572449 @default.
- W2372180541 hasRelatedWork W2211605757 @default.
- W2372180541 hasRelatedWork W2972950208 @default.
- W2372180541 isParatext "false" @default.
- W2372180541 isRetracted "false" @default.
- W2372180541 magId "2372180541" @default.
- W2372180541 workType "article" @default.