Matches in SemOpenAlex for { <https://semopenalex.org/work/W2537376145> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2537376145 abstract "Immutability is a valuable feature for programmers in object-oriented languages: making objects immutable often simplifies reasoning about the correctness of code, particularly when concurrency is present. Java allows programmers to express and enforce immutability by declaring all fields of an object final, but this comes at the cost of decreased expressiveness and intuitiveness of initialization. In this work, we propose a minimalistic type-based mechanism that both enforces immutability and relaxes these constraints on initialization. Furthermore, we propose and formalize two different type systems based on this mechanism that form a meaningful trade-off with respect to complexity, expressiveness, and strength of static guarantees. System One is simple, more expressive, and provides object-level immutability; System Two has more complicated annotation, is less expressive, and ensures that immutable objects are fully initialized in addition to enforcing immutability." @default.
- W2537376145 created "2016-10-28" @default.
- W2537376145 creator A5089448789 @default.
- W2537376145 date "2016-10-20" @default.
- W2537376145 modified "2023-09-24" @default.
- W2537376145 title "Flexible initialization of immutable objects" @default.
- W2537376145 cites W2065266923 @default.
- W2537376145 cites W2067901725 @default.
- W2537376145 cites W2116304133 @default.
- W2537376145 cites W2120529639 @default.
- W2537376145 cites W2137956345 @default.
- W2537376145 cites W2368741442 @default.
- W2537376145 cites W2505720433 @default.
- W2537376145 doi "https://doi.org/10.1145/2984043.2998541" @default.
- W2537376145 hasPublicationYear "2016" @default.
- W2537376145 type Work @default.
- W2537376145 sameAs 2537376145 @default.
- W2537376145 citedByCount "0" @default.
- W2537376145 crossrefType "proceedings-article" @default.
- W2537376145 hasAuthorship W2537376145A5089448789 @default.
- W2537376145 hasBestOaLocation W25373761451 @default.
- W2537376145 hasConcept C114466953 @default.
- W2537376145 hasConcept C154945302 @default.
- W2537376145 hasConcept C199360897 @default.
- W2537376145 hasConcept C31972630 @default.
- W2537376145 hasConcept C41008148 @default.
- W2537376145 hasConceptScore W2537376145C114466953 @default.
- W2537376145 hasConceptScore W2537376145C154945302 @default.
- W2537376145 hasConceptScore W2537376145C199360897 @default.
- W2537376145 hasConceptScore W2537376145C31972630 @default.
- W2537376145 hasConceptScore W2537376145C41008148 @default.
- W2537376145 hasFunder F4320306076 @default.
- W2537376145 hasLocation W25373761451 @default.
- W2537376145 hasOpenAccess W2537376145 @default.
- W2537376145 hasPrimaryLocation W25373761451 @default.
- W2537376145 hasRelatedWork W1483001409 @default.
- W2537376145 hasRelatedWork W164852726 @default.
- W2537376145 hasRelatedWork W2094872030 @default.
- W2537376145 hasRelatedWork W2099272513 @default.
- W2537376145 hasRelatedWork W2146757636 @default.
- W2537376145 hasRelatedWork W2153623964 @default.
- W2537376145 hasRelatedWork W2294490010 @default.
- W2537376145 hasRelatedWork W2393324510 @default.
- W2537376145 hasRelatedWork W3002248669 @default.
- W2537376145 hasRelatedWork W2155346812 @default.
- W2537376145 isParatext "false" @default.
- W2537376145 isRetracted "false" @default.
- W2537376145 magId "2537376145" @default.
- W2537376145 workType "article" @default.