Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993155808> ?p ?o ?g. }
- W1993155808 abstract "The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable, and readonly data and references). Programmers are prone to design errors, such as representation exposure or violation of immutability contracts. This paper presents Ownership Immutability Generic Java (OIGJ), a backward-compatible purely-static language extension supporting ownership and immutability. We formally defined a core calculus for OIGJ, based on Featherweight Java, and proved it sound. We also implemented OIGJ and performed case studies on 33,000 lines of code." @default.
- W1993155808 created "2016-06-24" @default.
- W1993155808 creator A5032068969 @default.
- W1993155808 creator A5057086547 @default.
- W1993155808 creator A5072236461 @default.
- W1993155808 creator A5075094570 @default.
- W1993155808 creator A5090255963 @default.
- W1993155808 date "2010-10-17" @default.
- W1993155808 modified "2023-10-17" @default.
- W1993155808 title "Ownership and immutability in generic Java" @default.
- W1993155808 cites W1489834477 @default.
- W1993155808 cites W1502550949 @default.
- W1993155808 cites W1558128491 @default.
- W1993155808 cites W1570380538 @default.
- W1993155808 cites W2006290442 @default.
- W1993155808 cites W2033348393 @default.
- W1993155808 cites W2039617981 @default.
- W1993155808 cites W2052087935 @default.
- W1993155808 cites W2067901725 @default.
- W1993155808 cites W2073407646 @default.
- W1993155808 cites W2094958132 @default.
- W1993155808 cites W2098123460 @default.
- W1993155808 cites W2106355420 @default.
- W1993155808 cites W2120529639 @default.
- W1993155808 cites W2127053650 @default.
- W1993155808 cites W2135868037 @default.
- W1993155808 cites W2137417304 @default.
- W1993155808 cites W2137956345 @default.
- W1993155808 cites W2144519235 @default.
- W1993155808 cites W2145708265 @default.
- W1993155808 cites W2150922760 @default.
- W1993155808 cites W2156428492 @default.
- W1993155808 cites W2160456755 @default.
- W1993155808 cites W2240421584 @default.
- W1993155808 cites W2295118110 @default.
- W1993155808 cites W2295471304 @default.
- W1993155808 doi "https://doi.org/10.1145/1869459.1869509" @default.
- W1993155808 hasPublicationYear "2010" @default.
- W1993155808 type Work @default.
- W1993155808 sameAs 1993155808 @default.
- W1993155808 citedByCount "42" @default.
- W1993155808 countsByYear W19931558082012 @default.
- W1993155808 countsByYear W19931558082013 @default.
- W1993155808 countsByYear W19931558082014 @default.
- W1993155808 countsByYear W19931558082015 @default.
- W1993155808 countsByYear W19931558082016 @default.
- W1993155808 countsByYear W19931558082017 @default.
- W1993155808 countsByYear W19931558082018 @default.
- W1993155808 countsByYear W19931558082019 @default.
- W1993155808 countsByYear W19931558082020 @default.
- W1993155808 countsByYear W19931558082021 @default.
- W1993155808 crossrefType "proceedings-article" @default.
- W1993155808 hasAuthorship W1993155808A5032068969 @default.
- W1993155808 hasAuthorship W1993155808A5057086547 @default.
- W1993155808 hasAuthorship W1993155808A5072236461 @default.
- W1993155808 hasAuthorship W1993155808A5075094570 @default.
- W1993155808 hasAuthorship W1993155808A5090255963 @default.
- W1993155808 hasConcept C132106392 @default.
- W1993155808 hasConcept C136536468 @default.
- W1993155808 hasConcept C154945302 @default.
- W1993155808 hasConcept C168702491 @default.
- W1993155808 hasConcept C172482141 @default.
- W1993155808 hasConcept C17744445 @default.
- W1993155808 hasConcept C199360897 @default.
- W1993155808 hasConcept C199539241 @default.
- W1993155808 hasConcept C2776126399 @default.
- W1993155808 hasConcept C2776359362 @default.
- W1993155808 hasConcept C2779687700 @default.
- W1993155808 hasConcept C38652104 @default.
- W1993155808 hasConcept C4069607 @default.
- W1993155808 hasConcept C41008148 @default.
- W1993155808 hasConcept C548217200 @default.
- W1993155808 hasConcept C94625758 @default.
- W1993155808 hasConceptScore W1993155808C132106392 @default.
- W1993155808 hasConceptScore W1993155808C136536468 @default.
- W1993155808 hasConceptScore W1993155808C154945302 @default.
- W1993155808 hasConceptScore W1993155808C168702491 @default.
- W1993155808 hasConceptScore W1993155808C172482141 @default.
- W1993155808 hasConceptScore W1993155808C17744445 @default.
- W1993155808 hasConceptScore W1993155808C199360897 @default.
- W1993155808 hasConceptScore W1993155808C199539241 @default.
- W1993155808 hasConceptScore W1993155808C2776126399 @default.
- W1993155808 hasConceptScore W1993155808C2776359362 @default.
- W1993155808 hasConceptScore W1993155808C2779687700 @default.
- W1993155808 hasConceptScore W1993155808C38652104 @default.
- W1993155808 hasConceptScore W1993155808C4069607 @default.
- W1993155808 hasConceptScore W1993155808C41008148 @default.
- W1993155808 hasConceptScore W1993155808C548217200 @default.
- W1993155808 hasConceptScore W1993155808C94625758 @default.
- W1993155808 hasLocation W19931558081 @default.
- W1993155808 hasOpenAccess W1993155808 @default.
- W1993155808 hasPrimaryLocation W19931558081 @default.
- W1993155808 hasRelatedWork W1572739102 @default.
- W1993155808 hasRelatedWork W1603063797 @default.
- W1993155808 hasRelatedWork W1604472755 @default.
- W1993155808 hasRelatedWork W1993155808 @default.
- W1993155808 hasRelatedWork W2118230497 @default.
- W1993155808 hasRelatedWork W2531562562 @default.
- W1993155808 hasRelatedWork W2541866089 @default.
- W1993155808 hasRelatedWork W2547095320 @default.