Matches in SemOpenAlex for { <https://semopenalex.org/work/W166017844> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W166017844 abstract "In the usual operational sense a program is a description of a totality of actions and the order of their execution over a medium X called memory. The approach originated by J.McCarthy determines the mathematical meaning of a program as a partial function over the set B of memory states. A third direction developed in the papers of R.Floyd, C.A.R.Hoare and others considers one more meaning, expressed by a pair of predicates over B -namely, the problem which every program solves. Each meaning gives some notion of equivalence between programs: the operational equivalence is the strongest, the problem equivalence -the we~[est. We shall ignore, for the time being, the possible structuring of the memory X and, instead, concentrate on the correspondence between operational, functional and problem structures." @default.
- W166017844 created "2016-06-24" @default.
- W166017844 creator A5032242206 @default.
- W166017844 date "1975-01-01" @default.
- W166017844 modified "2023-09-25" @default.
- W166017844 title "Control structures in single block programs" @default.
- W166017844 cites W1564104378 @default.
- W166017844 cites W1995405030 @default.
- W166017844 cites W2072592376 @default.
- W166017844 cites W2089573884 @default.
- W166017844 cites W2102075452 @default.
- W166017844 cites W2134741536 @default.
- W166017844 cites W2177002043 @default.
- W166017844 cites W3138380317 @default.
- W166017844 cites W4213214460 @default.
- W166017844 doi "https://doi.org/10.1007/3-540-07389-2_198" @default.
- W166017844 hasPublicationYear "1975" @default.
- W166017844 type Work @default.
- W166017844 sameAs 166017844 @default.
- W166017844 citedByCount "0" @default.
- W166017844 crossrefType "book-chapter" @default.
- W166017844 hasAuthorship W166017844A5032242206 @default.
- W166017844 hasConcept C10138342 @default.
- W166017844 hasConcept C11413529 @default.
- W166017844 hasConcept C114614502 @default.
- W166017844 hasConcept C118615104 @default.
- W166017844 hasConcept C15744967 @default.
- W166017844 hasConcept C162324750 @default.
- W166017844 hasConcept C177264268 @default.
- W166017844 hasConcept C199360897 @default.
- W166017844 hasConcept C2775945657 @default.
- W166017844 hasConcept C2777210771 @default.
- W166017844 hasConcept C2778361913 @default.
- W166017844 hasConcept C2780069185 @default.
- W166017844 hasConcept C2780876879 @default.
- W166017844 hasConcept C33923547 @default.
- W166017844 hasConcept C41008148 @default.
- W166017844 hasConcept C542102704 @default.
- W166017844 hasConcept C80444323 @default.
- W166017844 hasConcept C98183937 @default.
- W166017844 hasConceptScore W166017844C10138342 @default.
- W166017844 hasConceptScore W166017844C11413529 @default.
- W166017844 hasConceptScore W166017844C114614502 @default.
- W166017844 hasConceptScore W166017844C118615104 @default.
- W166017844 hasConceptScore W166017844C15744967 @default.
- W166017844 hasConceptScore W166017844C162324750 @default.
- W166017844 hasConceptScore W166017844C177264268 @default.
- W166017844 hasConceptScore W166017844C199360897 @default.
- W166017844 hasConceptScore W166017844C2775945657 @default.
- W166017844 hasConceptScore W166017844C2777210771 @default.
- W166017844 hasConceptScore W166017844C2778361913 @default.
- W166017844 hasConceptScore W166017844C2780069185 @default.
- W166017844 hasConceptScore W166017844C2780876879 @default.
- W166017844 hasConceptScore W166017844C33923547 @default.
- W166017844 hasConceptScore W166017844C41008148 @default.
- W166017844 hasConceptScore W166017844C542102704 @default.
- W166017844 hasConceptScore W166017844C80444323 @default.
- W166017844 hasConceptScore W166017844C98183937 @default.
- W166017844 hasLocation W1660178441 @default.
- W166017844 hasOpenAccess W166017844 @default.
- W166017844 hasPrimaryLocation W1660178441 @default.
- W166017844 isParatext "false" @default.
- W166017844 isRetracted "false" @default.
- W166017844 magId "166017844" @default.
- W166017844 workType "book-chapter" @default.