Matches in SemOpenAlex for { <https://semopenalex.org/work/W2266491325> ?p ?o ?g. }
- W2266491325 abstract "Abstract relational algebra is used to define the semantics of a simple imperative language. In order to carry out this task, various domains are specified by relational axioms. Some specifications define relations on the basic types of the language (Booleans and natural numbers); their presentation stresses the importance of the concept of point. Other specifications construct the relational domains whose relations are used to denote programs. The programming constructs that are defined include expressions, variable declarations, assignment statements, while-program statements and procedures. A particularity of the semantic definitions is that the relations denoting a program fragment depend only on the fragment, and not on its environment (procedure calls excepted). Finally, it is shown how the semantics of a program fragment can be used to prove its correctness relative to a specification. The result is a uniform abstract relational setting for specification, semantics and program derivation." @default.
- W2266491325 created "2016-06-24" @default.
- W2266491325 creator A5000109637 @default.
- W2266491325 date "1989-01-01" @default.
- W2266491325 modified "2023-09-27" @default.
- W2266491325 title "ABSTRACT RELATIONAL SEMANTICS" @default.
- W2266491325 cites W1510651869 @default.
- W2266491325 cites W1551292822 @default.
- W2266491325 cites W1576705125 @default.
- W2266491325 cites W1592287058 @default.
- W2266491325 cites W174471988 @default.
- W2266491325 cites W1966748830 @default.
- W2266491325 cites W1970495662 @default.
- W2266491325 cites W1974330956 @default.
- W2266491325 cites W1991364185 @default.
- W2266491325 cites W2006006495 @default.
- W2266491325 cites W2007225061 @default.
- W2266491325 cites W2017597203 @default.
- W2266491325 cites W2026701237 @default.
- W2266491325 cites W2032196115 @default.
- W2266491325 cites W2035306406 @default.
- W2266491325 cites W2038144522 @default.
- W2266491325 cites W2038814435 @default.
- W2266491325 cites W2048075043 @default.
- W2266491325 cites W2056024552 @default.
- W2266491325 cites W2065637985 @default.
- W2266491325 cites W2066210260 @default.
- W2266491325 cites W2071945201 @default.
- W2266491325 cites W2093541252 @default.
- W2266491325 cites W2110846749 @default.
- W2266491325 cites W2115822498 @default.
- W2266491325 cites W2118252041 @default.
- W2266491325 cites W2134338128 @default.
- W2266491325 cites W2147543351 @default.
- W2266491325 cites W3146075203 @default.
- W2266491325 cites W600478654 @default.
- W2266491325 cites W3197329284 @default.
- W2266491325 hasPublicationYear "1989" @default.
- W2266491325 type Work @default.
- W2266491325 sameAs 2266491325 @default.
- W2266491325 citedByCount "7" @default.
- W2266491325 countsByYear W22664913252015 @default.
- W2266491325 crossrefType "journal-article" @default.
- W2266491325 hasAuthorship W2266491325A5000109637 @default.
- W2266491325 hasConcept C156325763 @default.
- W2266491325 hasConcept C16739119 @default.
- W2266491325 hasConcept C167729594 @default.
- W2266491325 hasConcept C184337299 @default.
- W2266491325 hasConcept C199360897 @default.
- W2266491325 hasConcept C207648694 @default.
- W2266491325 hasConcept C23123220 @default.
- W2266491325 hasConcept C2524010 @default.
- W2266491325 hasConcept C2776235265 @default.
- W2266491325 hasConcept C33923547 @default.
- W2266491325 hasConcept C40207289 @default.
- W2266491325 hasConcept C41008148 @default.
- W2266491325 hasConcept C55439883 @default.
- W2266491325 hasConcept C5655090 @default.
- W2266491325 hasConcept C58041814 @default.
- W2266491325 hasConcept C95916125 @default.
- W2266491325 hasConcept C99436015 @default.
- W2266491325 hasConceptScore W2266491325C156325763 @default.
- W2266491325 hasConceptScore W2266491325C16739119 @default.
- W2266491325 hasConceptScore W2266491325C167729594 @default.
- W2266491325 hasConceptScore W2266491325C184337299 @default.
- W2266491325 hasConceptScore W2266491325C199360897 @default.
- W2266491325 hasConceptScore W2266491325C207648694 @default.
- W2266491325 hasConceptScore W2266491325C23123220 @default.
- W2266491325 hasConceptScore W2266491325C2524010 @default.
- W2266491325 hasConceptScore W2266491325C2776235265 @default.
- W2266491325 hasConceptScore W2266491325C33923547 @default.
- W2266491325 hasConceptScore W2266491325C40207289 @default.
- W2266491325 hasConceptScore W2266491325C41008148 @default.
- W2266491325 hasConceptScore W2266491325C55439883 @default.
- W2266491325 hasConceptScore W2266491325C5655090 @default.
- W2266491325 hasConceptScore W2266491325C58041814 @default.
- W2266491325 hasConceptScore W2266491325C95916125 @default.
- W2266491325 hasConceptScore W2266491325C99436015 @default.
- W2266491325 hasLocation W22664913251 @default.
- W2266491325 hasOpenAccess W2266491325 @default.
- W2266491325 hasPrimaryLocation W22664913251 @default.
- W2266491325 hasRelatedWork W1481153542 @default.
- W2266491325 hasRelatedWork W176706912 @default.
- W2266491325 hasRelatedWork W1793987241 @default.
- W2266491325 hasRelatedWork W190595227 @default.
- W2266491325 hasRelatedWork W2006006495 @default.
- W2266491325 hasRelatedWork W2007225061 @default.
- W2266491325 hasRelatedWork W2017597203 @default.
- W2266491325 hasRelatedWork W203401512 @default.
- W2266491325 hasRelatedWork W2035306406 @default.
- W2266491325 hasRelatedWork W2071945201 @default.
- W2266491325 hasRelatedWork W2094016548 @default.
- W2266491325 hasRelatedWork W2103953153 @default.
- W2266491325 hasRelatedWork W2118949160 @default.
- W2266491325 hasRelatedWork W2163008980 @default.
- W2266491325 hasRelatedWork W2481850285 @default.
- W2266491325 hasRelatedWork W2505581471 @default.
- W2266491325 hasRelatedWork W2535999314 @default.
- W2266491325 hasRelatedWork W2794205083 @default.
- W2266491325 hasRelatedWork W3023369148 @default.