Matches in SemOpenAlex for { <https://semopenalex.org/work/W192592871> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W192592871 endingPage "500" @default.
- W192592871 startingPage "471" @default.
- W192592871 abstract "In distributed object-oriented systems, objects belong to different locations. For example, in Java Remote Method Invocation (RMI), objects can be distributed over different Java virtual machines. Accessing a reference in RMI has crucially different semantics depending on whether the referred object is local or remote. Nevertheless, such references are not statically distinguished by the Java type system. This chapter presents location types, which statically distinguish far from near references. We present a formal type system for a minimal core language and develop a type inference system that gives maximally precise solutions satisfying further desirable properties. We prove soundness of the type system as well as soundness and correctness of the inference system. We have implemented location types as a pluggable type system for the ABS language, an object-oriented language with a concurrency and distribution model based on concurrent object groups. To facilitate programming with location types, we provide a tight integration of the type and inference system with an Eclipse-based integrated development environment (IDE) that presents inference results as overlays to the source code. The IDE drastically reduces the annotation overhead while providing full static type information to the programmer." @default.
- W192592871 created "2016-06-24" @default.
- W192592871 creator A5002624249 @default.
- W192592871 creator A5021358950 @default.
- W192592871 creator A5032764122 @default.
- W192592871 date "2013-01-01" @default.
- W192592871 modified "2023-10-16" @default.
- W192592871 title "Location Types for Safe Programming with Near and Far References" @default.
- W192592871 cites W100613926 @default.
- W192592871 cites W1504196925 @default.
- W192592871 cites W1504633425 @default.
- W192592871 cites W1553136405 @default.
- W192592871 cites W1561431519 @default.
- W192592871 cites W1585923090 @default.
- W192592871 cites W1604442026 @default.
- W192592871 cites W1675700398 @default.
- W192592871 cites W1864192957 @default.
- W192592871 cites W1980939032 @default.
- W192592871 cites W1999539882 @default.
- W192592871 cites W2006290442 @default.
- W192592871 cites W2087875803 @default.
- W192592871 cites W2113238444 @default.
- W192592871 cites W2136618368 @default.
- W192592871 cites W2150922760 @default.
- W192592871 cites W2153006094 @default.
- W192592871 cites W2160456755 @default.
- W192592871 cites W2160857869 @default.
- W192592871 cites W2163365446 @default.
- W192592871 cites W2412387518 @default.
- W192592871 cites W4214533059 @default.
- W192592871 cites W4234270404 @default.
- W192592871 cites W4234910952 @default.
- W192592871 cites W4250979901 @default.
- W192592871 cites W4251600813 @default.
- W192592871 cites W4253701986 @default.
- W192592871 cites W5815757 @default.
- W192592871 doi "https://doi.org/10.1007/978-3-642-36946-9_16" @default.
- W192592871 hasPublicationYear "2013" @default.
- W192592871 type Work @default.
- W192592871 sameAs 192592871 @default.
- W192592871 citedByCount "2" @default.
- W192592871 countsByYear W1925928712013 @default.
- W192592871 countsByYear W1925928712020 @default.
- W192592871 crossrefType "book-chapter" @default.
- W192592871 hasAuthorship W192592871A5002624249 @default.
- W192592871 hasAuthorship W192592871A5021358950 @default.
- W192592871 hasAuthorship W192592871A5032764122 @default.
- W192592871 hasConcept C132106392 @default.
- W192592871 hasConcept C154945302 @default.
- W192592871 hasConcept C168702491 @default.
- W192592871 hasConcept C172482141 @default.
- W192592871 hasConcept C193702766 @default.
- W192592871 hasConcept C198370458 @default.
- W192592871 hasConcept C199360897 @default.
- W192592871 hasConcept C2776214188 @default.
- W192592871 hasConcept C39920170 @default.
- W192592871 hasConcept C41008148 @default.
- W192592871 hasConcept C44779574 @default.
- W192592871 hasConcept C548217200 @default.
- W192592871 hasConcept C55439883 @default.
- W192592871 hasConcept C73752529 @default.
- W192592871 hasConceptScore W192592871C132106392 @default.
- W192592871 hasConceptScore W192592871C154945302 @default.
- W192592871 hasConceptScore W192592871C168702491 @default.
- W192592871 hasConceptScore W192592871C172482141 @default.
- W192592871 hasConceptScore W192592871C193702766 @default.
- W192592871 hasConceptScore W192592871C198370458 @default.
- W192592871 hasConceptScore W192592871C199360897 @default.
- W192592871 hasConceptScore W192592871C2776214188 @default.
- W192592871 hasConceptScore W192592871C39920170 @default.
- W192592871 hasConceptScore W192592871C41008148 @default.
- W192592871 hasConceptScore W192592871C44779574 @default.
- W192592871 hasConceptScore W192592871C548217200 @default.
- W192592871 hasConceptScore W192592871C55439883 @default.
- W192592871 hasConceptScore W192592871C73752529 @default.
- W192592871 hasLocation W1925928711 @default.
- W192592871 hasOpenAccess W192592871 @default.
- W192592871 hasPrimaryLocation W1925928711 @default.
- W192592871 hasRelatedWork W1493446239 @default.
- W192592871 hasRelatedWork W1542995193 @default.
- W192592871 hasRelatedWork W1658431692 @default.
- W192592871 hasRelatedWork W171500847 @default.
- W192592871 hasRelatedWork W2006963757 @default.
- W192592871 hasRelatedWork W2247232063 @default.
- W192592871 hasRelatedWork W2405414834 @default.
- W192592871 hasRelatedWork W4230520268 @default.
- W192592871 hasRelatedWork W4230932126 @default.
- W192592871 hasRelatedWork W116988039 @default.
- W192592871 isParatext "false" @default.
- W192592871 isRetracted "false" @default.
- W192592871 magId "192592871" @default.
- W192592871 workType "book-chapter" @default.