Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019162381> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2019162381 endingPage "410" @default.
- W2019162381 startingPage "341" @default.
- W2019162381 abstract "This paper presents an object-oriented, Java-like core language with primitives for distributed programming and explicit code mobility. We apply our formulation to prove the correctness of several optimisations for distributed programs. Our language captures crucial but often hidden aspects of distributed object-oriented programming, including object serialisation, dynamic class downloading and remote method invocation. It is defined in terms of an operational semantics that concisely models the behaviour of distributed programs using machinery from calculi of mobile processes. Type safety is established using invariant properties for distributed runtime configurations. We argue that primitives for explicit code mobility offer a programmer fine-grained control of type-safe code distribution, which is crucial for improving the performance and safety of distributed object-oriented applications." @default.
- W2019162381 created "2016-06-24" @default.
- W2019162381 creator A5054171989 @default.
- W2019162381 creator A5061819641 @default.
- W2019162381 date "2007-12-01" @default.
- W2019162381 modified "2023-09-27" @default.
- W2019162381 title "Formalising Java RMI with explicit code mobility" @default.
- W2019162381 cites W1968406635 @default.
- W2019162381 cites W1968519345 @default.
- W2019162381 cites W1978612864 @default.
- W2019162381 cites W2017365276 @default.
- W2019162381 cites W2022360370 @default.
- W2019162381 cites W2033348393 @default.
- W2019162381 cites W2072048176 @default.
- W2019162381 cites W2092952058 @default.
- W2019162381 cites W2155544344 @default.
- W2019162381 cites W2295192560 @default.
- W2019162381 doi "https://doi.org/10.1016/j.tcs.2007.09.002" @default.
- W2019162381 hasPublicationYear "2007" @default.
- W2019162381 type Work @default.
- W2019162381 sameAs 2019162381 @default.
- W2019162381 citedByCount "9" @default.
- W2019162381 countsByYear W20191623812012 @default.
- W2019162381 countsByYear W20191623812013 @default.
- W2019162381 countsByYear W20191623812014 @default.
- W2019162381 countsByYear W20191623812015 @default.
- W2019162381 countsByYear W20191623812021 @default.
- W2019162381 crossrefType "journal-article" @default.
- W2019162381 hasAuthorship W2019162381A5054171989 @default.
- W2019162381 hasAuthorship W2019162381A5061819641 @default.
- W2019162381 hasBestOaLocation W20191623811 @default.
- W2019162381 hasConcept C120314980 @default.
- W2019162381 hasConcept C199360897 @default.
- W2019162381 hasConcept C2778514511 @default.
- W2019162381 hasConcept C2780870223 @default.
- W2019162381 hasConcept C41008148 @default.
- W2019162381 hasConcept C44779574 @default.
- W2019162381 hasConcept C49312422 @default.
- W2019162381 hasConcept C548217200 @default.
- W2019162381 hasConcept C55439883 @default.
- W2019162381 hasConcept C73752529 @default.
- W2019162381 hasConcept C80444323 @default.
- W2019162381 hasConcept C81192388 @default.
- W2019162381 hasConceptScore W2019162381C120314980 @default.
- W2019162381 hasConceptScore W2019162381C199360897 @default.
- W2019162381 hasConceptScore W2019162381C2778514511 @default.
- W2019162381 hasConceptScore W2019162381C2780870223 @default.
- W2019162381 hasConceptScore W2019162381C41008148 @default.
- W2019162381 hasConceptScore W2019162381C44779574 @default.
- W2019162381 hasConceptScore W2019162381C49312422 @default.
- W2019162381 hasConceptScore W2019162381C548217200 @default.
- W2019162381 hasConceptScore W2019162381C55439883 @default.
- W2019162381 hasConceptScore W2019162381C73752529 @default.
- W2019162381 hasConceptScore W2019162381C80444323 @default.
- W2019162381 hasConceptScore W2019162381C81192388 @default.
- W2019162381 hasIssue "3" @default.
- W2019162381 hasLocation W20191623811 @default.
- W2019162381 hasLocation W20191623812 @default.
- W2019162381 hasOpenAccess W2019162381 @default.
- W2019162381 hasPrimaryLocation W20191623811 @default.
- W2019162381 hasRelatedWork W1538715633 @default.
- W2019162381 hasRelatedWork W1561560534 @default.
- W2019162381 hasRelatedWork W1605055912 @default.
- W2019162381 hasRelatedWork W2019162381 @default.
- W2019162381 hasRelatedWork W2052717117 @default.
- W2019162381 hasRelatedWork W2156013704 @default.
- W2019162381 hasRelatedWork W2389793079 @default.
- W2019162381 hasRelatedWork W3027324127 @default.
- W2019162381 hasRelatedWork W4246808101 @default.
- W2019162381 hasRelatedWork W1847415195 @default.
- W2019162381 hasVolume "389" @default.
- W2019162381 isParatext "false" @default.
- W2019162381 isRetracted "false" @default.
- W2019162381 magId "2019162381" @default.
- W2019162381 workType "article" @default.