Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021081188> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2021081188 abstract "In this paper we wish to consider the problem of proving assertions about programs that construct and alter data structures. Our method will be to define a suitable assertion language L for data structures, to define a simple programming language L' for constructing and altering data structures, to give axioms and rules of inference (in the style of [Hoare 1969]) which specify the effect of program segments on data structures (described by formulas in L) and finally to prove that these axioms are correct (relative to a formal definition of the semantics of L') and, in a reasonable sense, complete. Thus our intention is to provide a complete theoretical framework for describing arbitrary data structures and proving assertions about programs that manipulate them." @default.
- W2021081188 created "2016-06-24" @default.
- W2021081188 creator A5034555443 @default.
- W2021081188 creator A5062848995 @default.
- W2021081188 date "1975-01-01" @default.
- W2021081188 modified "2023-10-18" @default.
- W2021081188 title "Proving assertions about programs that manipulate data structures" @default.
- W2021081188 cites W1604172094 @default.
- W2021081188 cites W174250526 @default.
- W2021081188 cites W1965765328 @default.
- W2021081188 cites W1973270254 @default.
- W2021081188 cites W2032889498 @default.
- W2021081188 cites W2113074643 @default.
- W2021081188 cites W3146075203 @default.
- W2021081188 cites W87440562 @default.
- W2021081188 doi "https://doi.org/10.1145/800116.803758" @default.
- W2021081188 hasPublicationYear "1975" @default.
- W2021081188 type Work @default.
- W2021081188 sameAs 2021081188 @default.
- W2021081188 citedByCount "20" @default.
- W2021081188 countsByYear W20210811882013 @default.
- W2021081188 countsByYear W20210811882017 @default.
- W2021081188 crossrefType "proceedings-article" @default.
- W2021081188 hasAuthorship W2021081188A5034555443 @default.
- W2021081188 hasAuthorship W2021081188A5062848995 @default.
- W2021081188 hasConcept C111472728 @default.
- W2021081188 hasConcept C138885662 @default.
- W2021081188 hasConcept C162319229 @default.
- W2021081188 hasConcept C167729594 @default.
- W2021081188 hasConcept C175971053 @default.
- W2021081188 hasConcept C184337299 @default.
- W2021081188 hasConcept C199360897 @default.
- W2021081188 hasConcept C2524010 @default.
- W2021081188 hasConcept C2780586882 @default.
- W2021081188 hasConcept C2780801425 @default.
- W2021081188 hasConcept C33923547 @default.
- W2021081188 hasConcept C3746660 @default.
- W2021081188 hasConcept C40422974 @default.
- W2021081188 hasConcept C41008148 @default.
- W2021081188 hasConcept C80444323 @default.
- W2021081188 hasConceptScore W2021081188C111472728 @default.
- W2021081188 hasConceptScore W2021081188C138885662 @default.
- W2021081188 hasConceptScore W2021081188C162319229 @default.
- W2021081188 hasConceptScore W2021081188C167729594 @default.
- W2021081188 hasConceptScore W2021081188C175971053 @default.
- W2021081188 hasConceptScore W2021081188C184337299 @default.
- W2021081188 hasConceptScore W2021081188C199360897 @default.
- W2021081188 hasConceptScore W2021081188C2524010 @default.
- W2021081188 hasConceptScore W2021081188C2780586882 @default.
- W2021081188 hasConceptScore W2021081188C2780801425 @default.
- W2021081188 hasConceptScore W2021081188C33923547 @default.
- W2021081188 hasConceptScore W2021081188C3746660 @default.
- W2021081188 hasConceptScore W2021081188C40422974 @default.
- W2021081188 hasConceptScore W2021081188C41008148 @default.
- W2021081188 hasConceptScore W2021081188C80444323 @default.
- W2021081188 hasLocation W20210811881 @default.
- W2021081188 hasOpenAccess W2021081188 @default.
- W2021081188 hasPrimaryLocation W20210811881 @default.
- W2021081188 hasRelatedWork W1520219428 @default.
- W2021081188 hasRelatedWork W1586426631 @default.
- W2021081188 hasRelatedWork W1587224678 @default.
- W2021081188 hasRelatedWork W1591921962 @default.
- W2021081188 hasRelatedWork W1606065864 @default.
- W2021081188 hasRelatedWork W2132050469 @default.
- W2021081188 hasRelatedWork W2158476042 @default.
- W2021081188 hasRelatedWork W3132862870 @default.
- W2021081188 hasRelatedWork W4233387348 @default.
- W2021081188 hasRelatedWork W4695302 @default.
- W2021081188 isParatext "false" @default.
- W2021081188 isRetracted "false" @default.
- W2021081188 magId "2021081188" @default.
- W2021081188 workType "article" @default.