Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887871035> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2887871035 startingPage "30" @default.
- W2887871035 abstract "Reference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable reference may be mutable due to approximation.In this paper, we present ReM (for definite Re[ference] M[utability]). It separates mutable references into (1) definitely mutable, and (2) maybe mutable, i.e., references whose mutability is due to inherent approximation. In addition, we propose a CFL-reachability system for reference immutability, and prove that it is equivalent to ReIm/ReM, thus building a novel framework for reasoning about correctness of reference immutability type systems. We have implemented ReM and applied it on a large benchmark suite. Our results show that approximately 86.5% of all mutable references are definitely mutable." @default.
- W2887871035 created "2018-08-22" @default.
- W2887871035 creator A5083326011 @default.
- W2887871035 date "2018-01-01" @default.
- W2887871035 modified "2023-09-23" @default.
- W2887871035 title "Definite Reference Mutability" @default.
- W2887871035 doi "https://doi.org/10.4230/lipics.ecoop.2018.25" @default.
- W2887871035 hasPublicationYear "2018" @default.
- W2887871035 type Work @default.
- W2887871035 sameAs 2887871035 @default.
- W2887871035 citedByCount "2" @default.
- W2887871035 countsByYear W28878710352020 @default.
- W2887871035 countsByYear W28878710352022 @default.
- W2887871035 crossrefType "proceedings-article" @default.
- W2887871035 hasAuthorship W2887871035A5083326011 @default.
- W2887871035 hasConcept C11413529 @default.
- W2887871035 hasConcept C13280743 @default.
- W2887871035 hasConcept C136643341 @default.
- W2887871035 hasConcept C154945302 @default.
- W2887871035 hasConcept C166957645 @default.
- W2887871035 hasConcept C185798385 @default.
- W2887871035 hasConcept C18903297 @default.
- W2887871035 hasConcept C199360897 @default.
- W2887871035 hasConcept C205649164 @default.
- W2887871035 hasConcept C2776126399 @default.
- W2887871035 hasConcept C2777299769 @default.
- W2887871035 hasConcept C2779687700 @default.
- W2887871035 hasConcept C2781238097 @default.
- W2887871035 hasConcept C38652104 @default.
- W2887871035 hasConcept C41008148 @default.
- W2887871035 hasConcept C55439883 @default.
- W2887871035 hasConcept C79581498 @default.
- W2887871035 hasConcept C80444323 @default.
- W2887871035 hasConcept C86803240 @default.
- W2887871035 hasConcept C95457728 @default.
- W2887871035 hasConceptScore W2887871035C11413529 @default.
- W2887871035 hasConceptScore W2887871035C13280743 @default.
- W2887871035 hasConceptScore W2887871035C136643341 @default.
- W2887871035 hasConceptScore W2887871035C154945302 @default.
- W2887871035 hasConceptScore W2887871035C166957645 @default.
- W2887871035 hasConceptScore W2887871035C185798385 @default.
- W2887871035 hasConceptScore W2887871035C18903297 @default.
- W2887871035 hasConceptScore W2887871035C199360897 @default.
- W2887871035 hasConceptScore W2887871035C205649164 @default.
- W2887871035 hasConceptScore W2887871035C2776126399 @default.
- W2887871035 hasConceptScore W2887871035C2777299769 @default.
- W2887871035 hasConceptScore W2887871035C2779687700 @default.
- W2887871035 hasConceptScore W2887871035C2781238097 @default.
- W2887871035 hasConceptScore W2887871035C38652104 @default.
- W2887871035 hasConceptScore W2887871035C41008148 @default.
- W2887871035 hasConceptScore W2887871035C55439883 @default.
- W2887871035 hasConceptScore W2887871035C79581498 @default.
- W2887871035 hasConceptScore W2887871035C80444323 @default.
- W2887871035 hasConceptScore W2887871035C86803240 @default.
- W2887871035 hasConceptScore W2887871035C95457728 @default.
- W2887871035 hasLocation W28878710351 @default.
- W2887871035 hasOpenAccess W2887871035 @default.
- W2887871035 hasPrimaryLocation W28878710351 @default.
- W2887871035 hasRelatedWork W127052848 @default.
- W2887871035 hasRelatedWork W1486759851 @default.
- W2887871035 hasRelatedWork W1492155803 @default.
- W2887871035 hasRelatedWork W1497580209 @default.
- W2887871035 hasRelatedWork W2016226915 @default.
- W2887871035 hasRelatedWork W202324359 @default.
- W2887871035 hasRelatedWork W2025871249 @default.
- W2887871035 hasRelatedWork W2041950498 @default.
- W2887871035 hasRelatedWork W2095693131 @default.
- W2887871035 hasRelatedWork W2107860178 @default.
- W2887871035 hasRelatedWork W2163468719 @default.
- W2887871035 hasRelatedWork W2171386532 @default.
- W2887871035 hasRelatedWork W2541904841 @default.
- W2887871035 hasRelatedWork W2810000838 @default.
- W2887871035 hasRelatedWork W2900040591 @default.
- W2887871035 hasRelatedWork W2914931327 @default.
- W2887871035 hasRelatedWork W2928965853 @default.
- W2887871035 hasRelatedWork W3145844969 @default.
- W2887871035 hasRelatedWork W3195139395 @default.
- W2887871035 hasRelatedWork W2187499410 @default.
- W2887871035 hasVolume "109" @default.
- W2887871035 isParatext "false" @default.
- W2887871035 isRetracted "false" @default.
- W2887871035 magId "2887871035" @default.
- W2887871035 workType "article" @default.