Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145708265> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2145708265 abstract "This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable reference refers cannot be modified using that reference. The abstract state is (part of) the transitively reachable state: that is, the state of the object and all state reachable from it by following references. The type system permits explicitly excluding fields from the abstract state of an object. For a statically type-safe language, the type system guarantees reference immutability. If the language is extended with immutability downcasts, then run-time checks enforce the reference immutability constraints.This research builds upon previous research in language support for reference immutability. Improvements that are new in this paper include distinguishing the notions of assignability and mutability; integration with Java 5's generic types and with multi-dimensional arrays; a mutability polymorphism approach to avoiding code duplication; type-safe support for reflection and serialization; and formal type rules and type soundness proof for a core calculus. Furthermore, it retains the valuable features of the previous dialect, including usability by humans (as evidenced by experience with 160,000 lines of Javari code) and interoperability with Java and existing JVMs." @default.
- W2145708265 created "2016-06-24" @default.
- W2145708265 creator A5000640616 @default.
- W2145708265 creator A5032068969 @default.
- W2145708265 date "2005-10-12" @default.
- W2145708265 modified "2023-10-17" @default.
- W2145708265 title "Javari" @default.
- W2145708265 cites W1861989620 @default.
- W2145708265 cites W1963569294 @default.
- W2145708265 cites W2007181618 @default.
- W2145708265 cites W2033348393 @default.
- W2145708265 cites W2040141020 @default.
- W2145708265 cites W2046137117 @default.
- W2145708265 cites W2070869623 @default.
- W2145708265 cites W2075811056 @default.
- W2145708265 cites W2080648611 @default.
- W2145708265 cites W2094958132 @default.
- W2145708265 cites W2110409011 @default.
- W2145708265 cites W2111544394 @default.
- W2145708265 cites W2118068787 @default.
- W2145708265 cites W2130055503 @default.
- W2145708265 cites W2142181967 @default.
- W2145708265 cites W2142837069 @default.
- W2145708265 cites W2146934772 @default.
- W2145708265 cites W2156268601 @default.
- W2145708265 cites W2160456755 @default.
- W2145708265 cites W4214630400 @default.
- W2145708265 doi "https://doi.org/10.1145/1094811.1094828" @default.
- W2145708265 hasPublicationYear "2005" @default.
- W2145708265 type Work @default.
- W2145708265 sameAs 2145708265 @default.
- W2145708265 citedByCount "108" @default.
- W2145708265 countsByYear W21457082652012 @default.
- W2145708265 countsByYear W21457082652013 @default.
- W2145708265 countsByYear W21457082652014 @default.
- W2145708265 countsByYear W21457082652015 @default.
- W2145708265 countsByYear W21457082652016 @default.
- W2145708265 countsByYear W21457082652017 @default.
- W2145708265 countsByYear W21457082652018 @default.
- W2145708265 countsByYear W21457082652019 @default.
- W2145708265 countsByYear W21457082652020 @default.
- W2145708265 countsByYear W21457082652021 @default.
- W2145708265 countsByYear W21457082652022 @default.
- W2145708265 countsByYear W21457082652023 @default.
- W2145708265 crossrefType "proceedings-article" @default.
- W2145708265 hasAuthorship W2145708265A5000640616 @default.
- W2145708265 hasAuthorship W2145708265A5032068969 @default.
- W2145708265 hasConcept C111919701 @default.
- W2145708265 hasConcept C154945302 @default.
- W2145708265 hasConcept C18903297 @default.
- W2145708265 hasConcept C199360897 @default.
- W2145708265 hasConcept C20136886 @default.
- W2145708265 hasConcept C2776126399 @default.
- W2145708265 hasConcept C2777299769 @default.
- W2145708265 hasConcept C2779687700 @default.
- W2145708265 hasConcept C2781238097 @default.
- W2145708265 hasConcept C38652104 @default.
- W2145708265 hasConcept C39920170 @default.
- W2145708265 hasConcept C41008148 @default.
- W2145708265 hasConcept C48103436 @default.
- W2145708265 hasConcept C52723943 @default.
- W2145708265 hasConcept C548217200 @default.
- W2145708265 hasConcept C80444323 @default.
- W2145708265 hasConcept C86803240 @default.
- W2145708265 hasConceptScore W2145708265C111919701 @default.
- W2145708265 hasConceptScore W2145708265C154945302 @default.
- W2145708265 hasConceptScore W2145708265C18903297 @default.
- W2145708265 hasConceptScore W2145708265C199360897 @default.
- W2145708265 hasConceptScore W2145708265C20136886 @default.
- W2145708265 hasConceptScore W2145708265C2776126399 @default.
- W2145708265 hasConceptScore W2145708265C2777299769 @default.
- W2145708265 hasConceptScore W2145708265C2779687700 @default.
- W2145708265 hasConceptScore W2145708265C2781238097 @default.
- W2145708265 hasConceptScore W2145708265C38652104 @default.
- W2145708265 hasConceptScore W2145708265C39920170 @default.
- W2145708265 hasConceptScore W2145708265C41008148 @default.
- W2145708265 hasConceptScore W2145708265C48103436 @default.
- W2145708265 hasConceptScore W2145708265C52723943 @default.
- W2145708265 hasConceptScore W2145708265C548217200 @default.
- W2145708265 hasConceptScore W2145708265C80444323 @default.
- W2145708265 hasConceptScore W2145708265C86803240 @default.
- W2145708265 hasLocation W21457082651 @default.
- W2145708265 hasOpenAccess W2145708265 @default.
- W2145708265 hasPrimaryLocation W21457082651 @default.
- W2145708265 hasRelatedWork W2118230497 @default.
- W2145708265 hasRelatedWork W2145708265 @default.
- W2145708265 hasRelatedWork W2155293695 @default.
- W2145708265 hasRelatedWork W2351345168 @default.
- W2145708265 hasRelatedWork W2385657694 @default.
- W2145708265 hasRelatedWork W4237428255 @default.
- W2145708265 hasRelatedWork W4243252198 @default.
- W2145708265 hasRelatedWork W4245785580 @default.
- W2145708265 hasRelatedWork W2528467228 @default.
- W2145708265 hasRelatedWork W2804284871 @default.
- W2145708265 isParatext "false" @default.
- W2145708265 isRetracted "false" @default.
- W2145708265 magId "2145708265" @default.
- W2145708265 workType "article" @default.