Matches in SemOpenAlex for { <https://semopenalex.org/work/W2053442857> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2053442857 abstract "Erlang is a concurrent functional language, especially tailored for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. A designer implements failure recovery by organising the processes of an Erlang application into tree structures, in which parent processes monitor failures of their children and are responsible for their restart. Libraries support the creation of such structures during system initialisation. We present a technique to automatically analyse that the process structure of an Erlang application is constructed in a way that guarantees recovery from process failures. First, we extract (part of) the process structure by static analysis of the initialisation code of the application. Thereafter, analysis of the process structure checks that it will recover from any process failure. We have implemented the technique in a tool, and applied it to several OTP library applications and to a subsystem of the AXD 301 ATM switch." @default.
- W2053442857 created "2016-06-24" @default.
- W2053442857 creator A5007534495 @default.
- W2053442857 date "2009-09-05" @default.
- W2053442857 modified "2023-10-16" @default.
- W2053442857 title "Automatic assessment of failure recovery in Erlang applications" @default.
- W2053442857 cites W1482490768 @default.
- W2053442857 cites W1495509009 @default.
- W2053442857 cites W1506588809 @default.
- W2053442857 cites W1532125752 @default.
- W2053442857 cites W1553037777 @default.
- W2053442857 cites W1576770735 @default.
- W2053442857 cites W1588297513 @default.
- W2053442857 cites W1895615865 @default.
- W2053442857 cites W1933182892 @default.
- W2053442857 cites W1978899117 @default.
- W2053442857 cites W1980487816 @default.
- W2053442857 cites W1985787415 @default.
- W2053442857 cites W1993760408 @default.
- W2053442857 cites W2000005946 @default.
- W2053442857 cites W2002866920 @default.
- W2053442857 cites W2004320552 @default.
- W2053442857 cites W2008732772 @default.
- W2053442857 cites W2014199531 @default.
- W2053442857 cites W2015640848 @default.
- W2053442857 cites W2026965951 @default.
- W2053442857 cites W2035652450 @default.
- W2053442857 cites W2057663649 @default.
- W2053442857 cites W2061945006 @default.
- W2053442857 cites W2089461927 @default.
- W2053442857 cites W2102676919 @default.
- W2053442857 cites W2115309705 @default.
- W2053442857 cites W2124478662 @default.
- W2053442857 cites W2149738303 @default.
- W2053442857 doi "https://doi.org/10.1145/1596600.1596604" @default.
- W2053442857 hasPublicationYear "2009" @default.
- W2053442857 type Work @default.
- W2053442857 sameAs 2053442857 @default.
- W2053442857 citedByCount "2" @default.
- W2053442857 countsByYear W20534428572017 @default.
- W2053442857 crossrefType "proceedings-article" @default.
- W2053442857 hasAuthorship W2053442857A5007534495 @default.
- W2053442857 hasConcept C107094494 @default.
- W2053442857 hasConcept C115903868 @default.
- W2053442857 hasConcept C120314980 @default.
- W2053442857 hasConcept C127413603 @default.
- W2053442857 hasConcept C199360897 @default.
- W2053442857 hasConcept C200601418 @default.
- W2053442857 hasConcept C36351404 @default.
- W2053442857 hasConcept C41008148 @default.
- W2053442857 hasConcept C42383842 @default.
- W2053442857 hasConcept C63540848 @default.
- W2053442857 hasConcept C82484044 @default.
- W2053442857 hasConcept C98045186 @default.
- W2053442857 hasConceptScore W2053442857C107094494 @default.
- W2053442857 hasConceptScore W2053442857C115903868 @default.
- W2053442857 hasConceptScore W2053442857C120314980 @default.
- W2053442857 hasConceptScore W2053442857C127413603 @default.
- W2053442857 hasConceptScore W2053442857C199360897 @default.
- W2053442857 hasConceptScore W2053442857C200601418 @default.
- W2053442857 hasConceptScore W2053442857C36351404 @default.
- W2053442857 hasConceptScore W2053442857C41008148 @default.
- W2053442857 hasConceptScore W2053442857C42383842 @default.
- W2053442857 hasConceptScore W2053442857C63540848 @default.
- W2053442857 hasConceptScore W2053442857C82484044 @default.
- W2053442857 hasConceptScore W2053442857C98045186 @default.
- W2053442857 hasLocation W20534428571 @default.
- W2053442857 hasOpenAccess W2053442857 @default.
- W2053442857 hasPrimaryLocation W20534428571 @default.
- W2053442857 hasRelatedWork W2027487876 @default.
- W2053442857 hasRelatedWork W2068737373 @default.
- W2053442857 hasRelatedWork W2108271626 @default.
- W2053442857 hasRelatedWork W2379162918 @default.
- W2053442857 hasRelatedWork W2410984387 @default.
- W2053442857 hasRelatedWork W2610187978 @default.
- W2053442857 hasRelatedWork W2898904841 @default.
- W2053442857 hasRelatedWork W3102446781 @default.
- W2053442857 hasRelatedWork W4236471128 @default.
- W2053442857 hasRelatedWork W94881827 @default.
- W2053442857 isParatext "false" @default.
- W2053442857 isRetracted "false" @default.
- W2053442857 magId "2053442857" @default.
- W2053442857 workType "article" @default.