Matches in SemOpenAlex for { <https://semopenalex.org/work/W2062538260> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2062538260 endingPage "581" @default.
- W2062538260 startingPage "557" @default.
- W2062538260 abstract "It is generally thought that reasoning about programs in memory safe, garbage collected languages is much easier than in languages where the programmer has more explicit control over memory. Paradoxically, existing program logics are based on a low-level view of storage that is sensitive to the presence or absence of unreachable cells, and Reynolds has pointed out that the Hoare triples derivable in these logics are even incompatible with garbage collection. We present a study of a small language whose operational semantics includes a rule for reclaiming garbage. Our main results include an analysis of propositions that are garbage insensitive, and full abstraction results connecting partial and total correctness to two natural notions of observational equivalence between programs." @default.
- W2062538260 created "2016-06-24" @default.
- W2062538260 creator A5034062698 @default.
- W2062538260 creator A5055733288 @default.
- W2062538260 creator A5068136684 @default.
- W2062538260 date "2003-04-01" @default.
- W2062538260 modified "2023-10-18" @default.
- W2062538260 title "Program logic and equivalence in the presence of garbage collection" @default.
- W2062538260 cites W2021081188 @default.
- W2062538260 cites W2026928233 @default.
- W2062538260 cites W2097185397 @default.
- W2062538260 cites W2160888386 @default.
- W2062538260 doi "https://doi.org/10.1016/s0304-3975(02)00868-x" @default.
- W2062538260 hasPublicationYear "2003" @default.
- W2062538260 type Work @default.
- W2062538260 sameAs 2062538260 @default.
- W2062538260 citedByCount "27" @default.
- W2062538260 countsByYear W20625382602013 @default.
- W2062538260 countsByYear W20625382602018 @default.
- W2062538260 countsByYear W20625382602020 @default.
- W2062538260 countsByYear W20625382602021 @default.
- W2062538260 crossrefType "journal-article" @default.
- W2062538260 hasAuthorship W2062538260A5034062698 @default.
- W2062538260 hasAuthorship W2062538260A5055733288 @default.
- W2062538260 hasAuthorship W2062538260A5068136684 @default.
- W2062538260 hasBestOaLocation W20625382601 @default.
- W2062538260 hasConcept C105122174 @default.
- W2062538260 hasConcept C118615104 @default.
- W2062538260 hasConcept C156731835 @default.
- W2062538260 hasConcept C173856430 @default.
- W2062538260 hasConcept C184337299 @default.
- W2062538260 hasConcept C199360897 @default.
- W2062538260 hasConcept C2777721189 @default.
- W2062538260 hasConcept C2780069185 @default.
- W2062538260 hasConcept C33923547 @default.
- W2062538260 hasConcept C41008148 @default.
- W2062538260 hasConcept C55439883 @default.
- W2062538260 hasConcept C75403996 @default.
- W2062538260 hasConcept C80444323 @default.
- W2062538260 hasConcept C82810778 @default.
- W2062538260 hasConceptScore W2062538260C105122174 @default.
- W2062538260 hasConceptScore W2062538260C118615104 @default.
- W2062538260 hasConceptScore W2062538260C156731835 @default.
- W2062538260 hasConceptScore W2062538260C173856430 @default.
- W2062538260 hasConceptScore W2062538260C184337299 @default.
- W2062538260 hasConceptScore W2062538260C199360897 @default.
- W2062538260 hasConceptScore W2062538260C2777721189 @default.
- W2062538260 hasConceptScore W2062538260C2780069185 @default.
- W2062538260 hasConceptScore W2062538260C33923547 @default.
- W2062538260 hasConceptScore W2062538260C41008148 @default.
- W2062538260 hasConceptScore W2062538260C55439883 @default.
- W2062538260 hasConceptScore W2062538260C75403996 @default.
- W2062538260 hasConceptScore W2062538260C80444323 @default.
- W2062538260 hasConceptScore W2062538260C82810778 @default.
- W2062538260 hasFunder F4320334627 @default.
- W2062538260 hasIssue "3" @default.
- W2062538260 hasLocation W20625382601 @default.
- W2062538260 hasOpenAccess W2062538260 @default.
- W2062538260 hasPrimaryLocation W20625382601 @default.
- W2062538260 hasRelatedWork W1561804611 @default.
- W2062538260 hasRelatedWork W1966891975 @default.
- W2062538260 hasRelatedWork W1975076763 @default.
- W2062538260 hasRelatedWork W2011342976 @default.
- W2062538260 hasRelatedWork W203912273 @default.
- W2062538260 hasRelatedWork W2145076998 @default.
- W2062538260 hasRelatedWork W2188240052 @default.
- W2062538260 hasRelatedWork W2352852854 @default.
- W2062538260 hasRelatedWork W2380051080 @default.
- W2062538260 hasRelatedWork W4239479242 @default.
- W2062538260 hasVolume "298" @default.
- W2062538260 isParatext "false" @default.
- W2062538260 isRetracted "false" @default.
- W2062538260 magId "2062538260" @default.
- W2062538260 workType "article" @default.