Matches in SemOpenAlex for { <https://semopenalex.org/work/W3147568453> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3147568453 abstract "Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory. We present an alternative syntactic model where memory is encoded as part of the program rather than as a separate resource. This means that execution can be modelled by just rewriting source code terms, as in semantic models for functional programs. Formally, this is achieved by the block construct, introducing local variable declarations, which play the role of memory when their initializing expressions have been evaluated. In this way, we obtain a language semantics which directly represents at the syntactic level constraints on aliasing, allowing simpler reasoning about related properties. To illustrate this advantage, we consider the issue, widely studied in the literature, of characterizing an isolated portion of memory, which cannot be reached through external references. In the syntactic model, closed block values, called capsules, provide a simple representation of isolated portions of memory, and capsules can be safely moved to another location in the memory, without introducing sharing, by means of affine' variables. We prove that the syntactic model can be encoded in the conventional one, hence efficiently implemented." @default.
- W3147568453 created "2021-04-13" @default.
- W3147568453 creator A5046299910 @default.
- W3147568453 creator A5057279396 @default.
- W3147568453 creator A5083585434 @default.
- W3147568453 date "2019-04-23" @default.
- W3147568453 modified "2023-09-28" @default.
- W3147568453 title "A Syntactic Model of Mutation and Aliasing" @default.
- W3147568453 cites W1483872283 @default.
- W3147568453 cites W1974806232 @default.
- W3147568453 cites W1993155808 @default.
- W3147568453 cites W1994518570 @default.
- W3147568453 cites W2033348393 @default.
- W3147568453 cites W2062838731 @default.
- W3147568453 cites W2077288840 @default.
- W3147568453 cites W2077987280 @default.
- W3147568453 cites W2087875803 @default.
- W3147568453 cites W2095451697 @default.
- W3147568453 cites W2112022010 @default.
- W3147568453 cites W2136839747 @default.
- W3147568453 cites W2152680856 @default.
- W3147568453 cites W2153903231 @default.
- W3147568453 cites W2295913681 @default.
- W3147568453 cites W2342367320 @default.
- W3147568453 cites W2562658355 @default.
- W3147568453 cites W2616905010 @default.
- W3147568453 cites W2714080939 @default.
- W3147568453 cites W2810291249 @default.
- W3147568453 cites W2900040591 @default.
- W3147568453 cites W2963105536 @default.
- W3147568453 cites W4230681750 @default.
- W3147568453 cites W4234055316 @default.
- W3147568453 cites W4241045451 @default.
- W3147568453 doi "https://doi.org/10.4204/eptcs.293.4" @default.
- W3147568453 hasPublicationYear "2019" @default.
- W3147568453 type Work @default.
- W3147568453 sameAs 3147568453 @default.
- W3147568453 citedByCount "0" @default.
- W3147568453 crossrefType "journal-article" @default.
- W3147568453 hasAuthorship W3147568453A5046299910 @default.
- W3147568453 hasAuthorship W3147568453A5057279396 @default.
- W3147568453 hasAuthorship W3147568453A5083585434 @default.
- W3147568453 hasBestOaLocation W31475684531 @default.
- W3147568453 hasConcept C12186640 @default.
- W3147568453 hasConcept C133875982 @default.
- W3147568453 hasConcept C154690210 @default.
- W3147568453 hasConcept C154945302 @default.
- W3147568453 hasConcept C173608175 @default.
- W3147568453 hasConcept C199360897 @default.
- W3147568453 hasConcept C202444582 @default.
- W3147568453 hasConcept C204321447 @default.
- W3147568453 hasConcept C33923547 @default.
- W3147568453 hasConcept C41008148 @default.
- W3147568453 hasConcept C80444323 @default.
- W3147568453 hasConcept C92757383 @default.
- W3147568453 hasConceptScore W3147568453C12186640 @default.
- W3147568453 hasConceptScore W3147568453C133875982 @default.
- W3147568453 hasConceptScore W3147568453C154690210 @default.
- W3147568453 hasConceptScore W3147568453C154945302 @default.
- W3147568453 hasConceptScore W3147568453C173608175 @default.
- W3147568453 hasConceptScore W3147568453C199360897 @default.
- W3147568453 hasConceptScore W3147568453C202444582 @default.
- W3147568453 hasConceptScore W3147568453C204321447 @default.
- W3147568453 hasConceptScore W3147568453C33923547 @default.
- W3147568453 hasConceptScore W3147568453C41008148 @default.
- W3147568453 hasConceptScore W3147568453C80444323 @default.
- W3147568453 hasConceptScore W3147568453C92757383 @default.
- W3147568453 hasLocation W31475684531 @default.
- W3147568453 hasLocation W31475684532 @default.
- W3147568453 hasOpenAccess W3147568453 @default.
- W3147568453 hasPrimaryLocation W31475684531 @default.
- W3147568453 hasRelatedWork W1503720142 @default.
- W3147568453 hasRelatedWork W1508398345 @default.
- W3147568453 hasRelatedWork W1568579403 @default.
- W3147568453 hasRelatedWork W173722103 @default.
- W3147568453 hasRelatedWork W1882722671 @default.
- W3147568453 hasRelatedWork W2017383728 @default.
- W3147568453 hasRelatedWork W2041643207 @default.
- W3147568453 hasRelatedWork W2058377260 @default.
- W3147568453 hasRelatedWork W2062279113 @default.
- W3147568453 hasRelatedWork W2088503709 @default.
- W3147568453 hasRelatedWork W2091347613 @default.
- W3147568453 hasRelatedWork W2890260889 @default.
- W3147568453 hasRelatedWork W3080296479 @default.
- W3147568453 hasRelatedWork W3149844380 @default.
- W3147568453 hasRelatedWork W3206370442 @default.
- W3147568453 hasRelatedWork W44879697 @default.
- W3147568453 hasRelatedWork W177166279 @default.
- W3147568453 hasRelatedWork W2827885013 @default.
- W3147568453 hasRelatedWork W32057804 @default.
- W3147568453 hasRelatedWork W993963763 @default.
- W3147568453 isParatext "false" @default.
- W3147568453 isRetracted "false" @default.
- W3147568453 magId "3147568453" @default.
- W3147568453 workType "article" @default.