Matches in SemOpenAlex for { <https://semopenalex.org/work/W70587070> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W70587070 abstract "Most previous work on the equivalence of programs in the presence of local state has involved intricate memory modeling and the notion of contextual (observable) equivalence. We show how relational semantics can be used to avoid these complications. We define a notion of local variable scoping, along with a purely compositional semantics based on binary relations, such that all contextual considerations are completely encapsulated in the semantics. We then give an axiom system for program equivalence in the presence of local state that avoids all mention of memory or context and that does not use semantic arguments. The system is complete relative to the underlying flat equational theory. We also indicate briefly how the semantics can be extended to include higher-order functions." @default.
- W70587070 created "2016-06-24" @default.
- W70587070 creator A5023561560 @default.
- W70587070 creator A5053923311 @default.
- W70587070 date "2005-07-18" @default.
- W70587070 modified "2023-09-23" @default.
- W70587070 title "Relational Semantics of Local Variable Scoping" @default.
- W70587070 cites W1544633123 @default.
- W70587070 cites W1567525491 @default.
- W70587070 cites W1973030866 @default.
- W70587070 cites W2005403834 @default.
- W70587070 cites W2026928233 @default.
- W70587070 cites W2101247081 @default.
- W70587070 cites W2103277171 @default.
- W70587070 cites W2123887510 @default.
- W70587070 cites W2135962112 @default.
- W70587070 cites W2140560121 @default.
- W70587070 cites W2990518766 @default.
- W70587070 hasPublicationYear "2005" @default.
- W70587070 type Work @default.
- W70587070 sameAs 70587070 @default.
- W70587070 citedByCount "1" @default.
- W70587070 crossrefType "journal-article" @default.
- W70587070 hasAuthorship W70587070A5023561560 @default.
- W70587070 hasAuthorship W70587070A5053923311 @default.
- W70587070 hasConcept C118615104 @default.
- W70587070 hasConcept C156325763 @default.
- W70587070 hasConcept C167729594 @default.
- W70587070 hasConcept C184337299 @default.
- W70587070 hasConcept C199360897 @default.
- W70587070 hasConcept C207648694 @default.
- W70587070 hasConcept C2524010 @default.
- W70587070 hasConcept C2780069185 @default.
- W70587070 hasConcept C33923547 @default.
- W70587070 hasConcept C41008148 @default.
- W70587070 hasConcept C80444323 @default.
- W70587070 hasConceptScore W70587070C118615104 @default.
- W70587070 hasConceptScore W70587070C156325763 @default.
- W70587070 hasConceptScore W70587070C167729594 @default.
- W70587070 hasConceptScore W70587070C184337299 @default.
- W70587070 hasConceptScore W70587070C199360897 @default.
- W70587070 hasConceptScore W70587070C207648694 @default.
- W70587070 hasConceptScore W70587070C2524010 @default.
- W70587070 hasConceptScore W70587070C2780069185 @default.
- W70587070 hasConceptScore W70587070C33923547 @default.
- W70587070 hasConceptScore W70587070C41008148 @default.
- W70587070 hasConceptScore W70587070C80444323 @default.
- W70587070 hasLocation W705870701 @default.
- W70587070 hasOpenAccess W70587070 @default.
- W70587070 hasPrimaryLocation W705870701 @default.
- W70587070 hasRelatedWork W1491081672 @default.
- W70587070 hasRelatedWork W1509645082 @default.
- W70587070 hasRelatedWork W1578282934 @default.
- W70587070 hasRelatedWork W1592432039 @default.
- W70587070 hasRelatedWork W1969861130 @default.
- W70587070 hasRelatedWork W1994221578 @default.
- W70587070 hasRelatedWork W2086110922 @default.
- W70587070 hasRelatedWork W2086142629 @default.
- W70587070 hasRelatedWork W2140755446 @default.
- W70587070 hasRelatedWork W2157120426 @default.
- W70587070 hasRelatedWork W2306419659 @default.
- W70587070 hasRelatedWork W2352810253 @default.
- W70587070 hasRelatedWork W2368496410 @default.
- W70587070 hasRelatedWork W2402477875 @default.
- W70587070 hasRelatedWork W2774903779 @default.
- W70587070 hasRelatedWork W287486104 @default.
- W70587070 hasRelatedWork W3022086173 @default.
- W70587070 hasRelatedWork W3037207514 @default.
- W70587070 hasRelatedWork W56997675 @default.
- W70587070 hasRelatedWork W2790574866 @default.
- W70587070 isParatext "false" @default.
- W70587070 isRetracted "false" @default.
- W70587070 magId "70587070" @default.
- W70587070 workType "article" @default.