Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120191106> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2120191106 abstract "This thesis examines programming language concepts that facilitate fault-tolerant distributed programming. New language primitives are introduced for whole-process migration, which allows an active process to be transferred from one machine to another, and speculative execution, which enables optimistic computing based on an unverified assumption. These primitives are developed in the context of the Mojave Compiler Collection, a multi-language multi-architecture compiler with ties to the MetaPRL theorem prover.The new primitives are first discussed from a theoretical perspective. The primitives are implemented as part of a functional intermediate language in the Mojave compiler, which has a formal operational semantics and complete typing rules. The operational semantics and typing rules are extended to accommodate whole-process migration and speculative execution, and the implications these primitives have for program safety are discussed.The primitives are implemented as part of the Mojave compiler. The runtime safety checks that are required to ensure these primitives are safe are presented, along with runtime invariants used to justify the safety of the system. The primitives are also integrated with a novel compacting, generational garbage collector whose algorithm is presented." @default.
- W2120191106 created "2016-06-24" @default.
- W2120191106 creator A5024668515 @default.
- W2120191106 date "2003-01-01" @default.
- W2120191106 modified "2023-09-27" @default.
- W2120191106 title "Fault Tolerance using Whole-Process Migration and Speculative Execution" @default.
- W2120191106 cites W1515932031 @default.
- W2120191106 cites W1516901019 @default.
- W2120191106 cites W1536707183 @default.
- W2120191106 cites W1924035922 @default.
- W2120191106 cites W2057670587 @default.
- W2120191106 cites W2092311766 @default.
- W2120191106 cites W2104799982 @default.
- W2120191106 cites W2108583124 @default.
- W2120191106 cites W2134182085 @default.
- W2120191106 cites W2167998587 @default.
- W2120191106 cites W2169202567 @default.
- W2120191106 cites W2914559425 @default.
- W2120191106 cites W2163317020 @default.
- W2120191106 doi "https://doi.org/10.7907/ayfv-as63." @default.
- W2120191106 hasPublicationYear "2003" @default.
- W2120191106 type Work @default.
- W2120191106 sameAs 2120191106 @default.
- W2120191106 citedByCount "4" @default.
- W2120191106 countsByYear W21201911062012 @default.
- W2120191106 crossrefType "dissertation" @default.
- W2120191106 hasAuthorship W2120191106A5024668515 @default.
- W2120191106 hasConcept C145428669 @default.
- W2120191106 hasConcept C151730666 @default.
- W2120191106 hasConcept C169590947 @default.
- W2120191106 hasConcept C173608175 @default.
- W2120191106 hasConcept C184337299 @default.
- W2120191106 hasConcept C199360897 @default.
- W2120191106 hasConcept C2779343474 @default.
- W2120191106 hasConcept C2780870223 @default.
- W2120191106 hasConcept C41008148 @default.
- W2120191106 hasConcept C86803240 @default.
- W2120191106 hasConcept C98045186 @default.
- W2120191106 hasConceptScore W2120191106C145428669 @default.
- W2120191106 hasConceptScore W2120191106C151730666 @default.
- W2120191106 hasConceptScore W2120191106C169590947 @default.
- W2120191106 hasConceptScore W2120191106C173608175 @default.
- W2120191106 hasConceptScore W2120191106C184337299 @default.
- W2120191106 hasConceptScore W2120191106C199360897 @default.
- W2120191106 hasConceptScore W2120191106C2779343474 @default.
- W2120191106 hasConceptScore W2120191106C2780870223 @default.
- W2120191106 hasConceptScore W2120191106C41008148 @default.
- W2120191106 hasConceptScore W2120191106C86803240 @default.
- W2120191106 hasConceptScore W2120191106C98045186 @default.
- W2120191106 hasLocation W21201911061 @default.
- W2120191106 hasOpenAccess W2120191106 @default.
- W2120191106 hasPrimaryLocation W21201911061 @default.
- W2120191106 hasRelatedWork W1565021917 @default.
- W2120191106 hasRelatedWork W1827221211 @default.
- W2120191106 hasRelatedWork W2037159234 @default.
- W2120191106 hasRelatedWork W2039310738 @default.
- W2120191106 hasRelatedWork W2118356667 @default.
- W2120191106 hasRelatedWork W2477150975 @default.
- W2120191106 hasRelatedWork W2547390950 @default.
- W2120191106 hasRelatedWork W2605392703 @default.
- W2120191106 hasRelatedWork W2767773234 @default.
- W2120191106 hasRelatedWork W276843 @default.
- W2120191106 hasRelatedWork W2925234719 @default.
- W2120191106 hasRelatedWork W3092386702 @default.
- W2120191106 hasRelatedWork W3097784055 @default.
- W2120191106 hasRelatedWork W3129453453 @default.
- W2120191106 hasRelatedWork W3146450707 @default.
- W2120191106 hasRelatedWork W3151508267 @default.
- W2120191106 hasRelatedWork W3158991097 @default.
- W2120191106 hasRelatedWork W363496388 @default.
- W2120191106 hasRelatedWork W63034602 @default.
- W2120191106 hasRelatedWork W2175086958 @default.
- W2120191106 isParatext "false" @default.
- W2120191106 isRetracted "false" @default.
- W2120191106 magId "2120191106" @default.
- W2120191106 workType "dissertation" @default.