FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2555016675> ?p ?o ?g. }

• W2555016675 abstract "Today, more programmers than ever before are charged with the development and main­ tenance of distributed object­oriented applications. These tasks are dif cult to tackle alone, as distribution introduces myriad complications and opportunities for failure that are not encountered in centralised programs. Fortunately, the programmer is not alone. Several frameworks exist that attempt to transparently take care of many of the dif cul­ ties and small annoyances of distributed application development. However, by automating the activities required by distributed programs, such as mar­ shaling data for network transfer, we make it harder to understand the behaviour of these programs at source­code level. To rectify this, this thesis gives a formal semantics for a distributed object­oriented language. We call this language DJ, and it models key fea­ tures of the Java Remote Method Invocation framework. Importantly, it facilitates the marshaling of executable code as well as data, allowing the programmer to create higher­ order functions that can be stored and used as and when needed by an application. A signi cant contribution of this thesis is establishing type safety for this language. This requires the speci cation of a non­trivial number of invariant properties that dis­ tributed applications must preserve, capturing important sanity conditions such as en­ suring that local references do not leak to remote sites. We develop a theory of behavioural equivalence for DJ. Given as a set of semantically sound transformation rules that can be applied to source code and run­time terms, this theory judges two programs to be equivalent if they can be transformed into one an­ other. We then apply our technique to establishing the correctness of arguably typical distributed program optimisations. We conclude this thesis by proposing an extension to DJ, called DJ+, that models the concurrency features of Java. Type safety for this language is established using extended invariant properties." @default.
• W2555016675 created "2016-11-30" @default.
• W2555016675 creator A5061819641 @default.
• W2555016675 date "2006-01-01" @default.
• W2555016675 modified "2023-09-25" @default.
• W2555016675 title "Code mobility and Java RMI" @default.
• W2555016675 cites W1036874709 @default.
• W2555016675 cites W1484289255 @default.
• W2555016675 cites W1486562535 @default.
• W2555016675 cites W1503973138 @default.
• W2555016675 cites W1504328166 @default.
• W2555016675 cites W1510576397 @default.
• W2555016675 cites W1531114480 @default.
• W2555016675 cites W1544633123 @default.
• W2555016675 cites W1556536463 @default.
• W2555016675 cites W1557268818 @default.
• W2555016675 cites W1557561422 @default.
• W2555016675 cites W1562729841 @default.
• W2555016675 cites W1570258731 @default.
• W2555016675 cites W1583826417 @default.
• W2555016675 cites W1598089040 @default.
• W2555016675 cites W17364782 @default.
• W2555016675 cites W1941373452 @default.
• W2555016675 cites W2008517508 @default.
• W2555016675 cites W2008838944 @default.
• W2555016675 cites W2017365276 @default.
• W2555016675 cites W2028016184 @default.
• W2555016675 cites W2033348393 @default.
• W2555016675 cites W2042360145 @default.
• W2555016675 cites W2066524998 @default.
• W2555016675 cites W2070179848 @default.
• W2555016675 cites W2072048176 @default.
• W2555016675 cites W2083803628 @default.
• W2555016675 cites W2088599499 @default.
• W2555016675 cites W2091085450 @default.
• W2555016675 cites W2096314727 @default.
• W2555016675 cites W2107438584 @default.
• W2555016675 cites W2109568634 @default.
• W2555016675 cites W2109875364 @default.
• W2555016675 cites W2113982154 @default.
• W2555016675 cites W2133546079 @default.
• W2555016675 cites W2134056477 @default.
• W2555016675 cites W2136920408 @default.
• W2555016675 cites W2137417304 @default.
• W2555016675 cites W2148543661 @default.
• W2555016675 cites W2148553181 @default.
• W2555016675 cites W2148607646 @default.
• W2555016675 cites W2150101804 @default.
• W2555016675 cites W2152680856 @default.
• W2555016675 cites W2154273644 @default.
• W2555016675 cites W2155544344 @default.
• W2555016675 cites W2158126684 @default.
• W2555016675 cites W2169907127 @default.
• W2555016675 cites W2171142397 @default.
• W2555016675 cites W2187924464 @default.
• W2555016675 cites W2295192560 @default.
• W2555016675 cites W2914597273 @default.
• W2555016675 cites W2914759903 @default.
• W2555016675 cites W37314665 @default.
• W2555016675 hasPublicationYear "2006" @default.
• W2555016675 type Work @default.
• W2555016675 sameAs 2555016675 @default.
• W2555016675 citedByCount "0" @default.
• W2555016675 crossrefType "dissertation" @default.
• W2555016675 hasAuthorship W2555016675A5061819641 @default.
• W2555016675 hasConcept C160145156 @default.
• W2555016675 hasConcept C199360897 @default.
• W2555016675 hasConcept C206019424 @default.
• W2555016675 hasConcept C2778514511 @default.
• W2555016675 hasConcept C41008148 @default.
• W2555016675 hasConcept C43126263 @default.
• W2555016675 hasConcept C548217200 @default.
• W2555016675 hasConcept C80444323 @default.
• W2555016675 hasConceptScore W2555016675C160145156 @default.
• W2555016675 hasConceptScore W2555016675C199360897 @default.
• W2555016675 hasConceptScore W2555016675C206019424 @default.
• W2555016675 hasConceptScore W2555016675C2778514511 @default.
• W2555016675 hasConceptScore W2555016675C41008148 @default.
• W2555016675 hasConceptScore W2555016675C43126263 @default.
• W2555016675 hasConceptScore W2555016675C548217200 @default.
• W2555016675 hasConceptScore W2555016675C80444323 @default.
• W2555016675 hasLocation W25550166751 @default.
• W2555016675 hasOpenAccess W2555016675 @default.
• W2555016675 hasPrimaryLocation W25550166751 @default.
• W2555016675 hasRelatedWork W1489921942 @default.
• W2555016675 hasRelatedWork W1535150831 @default.
• W2555016675 hasRelatedWork W1555594999 @default.
• W2555016675 hasRelatedWork W2028083276 @default.
• W2555016675 hasRelatedWork W2153903231 @default.
• W2555016675 hasRelatedWork W2170732676 @default.
• W2555016675 hasRelatedWork W2233402206 @default.
• W2555016675 hasRelatedWork W2471419789 @default.
• W2555016675 hasRelatedWork W2492554184 @default.
• W2555016675 hasRelatedWork W2516373566 @default.
• W2555016675 hasRelatedWork W2519009229 @default.
• W2555016675 hasRelatedWork W2546497838 @default.
• W2555016675 hasRelatedWork W2566015348 @default.
• W2555016675 hasRelatedWork W2809696358 @default.
• W2555016675 hasRelatedWork W2898359825 @default.
• W2555016675 hasRelatedWork W2903357517 @default.

• next