Matches in SemOpenAlex for { <https://semopenalex.org/work/W186765356> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W186765356 endingPage "292" @default.
- W186765356 startingPage "278" @default.
- W186765356 abstract "Critical software needs to obtain an assessment before commissioning. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models using information-flow analysis. Tools like SPARK-Ada exist for Ada subsets used for critical software. But some emergent languages such as those of the ML family lack such adapted tools. Providing similar tools for ML languages requires special attention on specific features such as higher-order functions and pattern-matching. This paper presents an information-flow analysis for such a language specifically designed according to the needs of assessors. This analysis can be parametrized to allow assessors getting a view of dependencies at several levels of abstraction and gives the basis for an efficient fault tolerance analysis." @default.
- W186765356 created "2016-06-24" @default.
- W186765356 creator A5048534464 @default.
- W186765356 creator A5061217918 @default.
- W186765356 creator A5061521528 @default.
- W186765356 creator A5079763559 @default.
- W186765356 date "2012-01-01" @default.
- W186765356 modified "2023-10-17" @default.
- W186765356 title "ML Dependency Analysis for Assessors" @default.
- W186765356 cites W1516950430 @default.
- W186765356 cites W1566577998 @default.
- W186765356 cites W2003411722 @default.
- W186765356 cites W2014764321 @default.
- W186765356 cites W2016017569 @default.
- W186765356 cites W2064922053 @default.
- W186765356 cites W2067012475 @default.
- W186765356 cites W2110183833 @default.
- W186765356 cites W2161630922 @default.
- W186765356 cites W2997599371 @default.
- W186765356 cites W3011272152 @default.
- W186765356 cites W4244155562 @default.
- W186765356 cites W4251493246 @default.
- W186765356 doi "https://doi.org/10.1007/978-3-642-33826-7_19" @default.
- W186765356 hasPublicationYear "2012" @default.
- W186765356 type Work @default.
- W186765356 sameAs 186765356 @default.
- W186765356 citedByCount "2" @default.
- W186765356 countsByYear W1867653562014 @default.
- W186765356 crossrefType "book-chapter" @default.
- W186765356 hasAuthorship W186765356A5048534464 @default.
- W186765356 hasAuthorship W186765356A5061217918 @default.
- W186765356 hasAuthorship W186765356A5061521528 @default.
- W186765356 hasAuthorship W186765356A5079763559 @default.
- W186765356 hasBestOaLocation W1867653562 @default.
- W186765356 hasConcept C105795698 @default.
- W186765356 hasConcept C111472728 @default.
- W186765356 hasConcept C115903868 @default.
- W186765356 hasConcept C124304363 @default.
- W186765356 hasConcept C127413603 @default.
- W186765356 hasConcept C138885662 @default.
- W186765356 hasConcept C165064840 @default.
- W186765356 hasConcept C19768560 @default.
- W186765356 hasConcept C199360897 @default.
- W186765356 hasConcept C201995342 @default.
- W186765356 hasConcept C2777904410 @default.
- W186765356 hasConcept C2779136372 @default.
- W186765356 hasConcept C2780451532 @default.
- W186765356 hasConcept C2781215313 @default.
- W186765356 hasConcept C33923547 @default.
- W186765356 hasConcept C41008148 @default.
- W186765356 hasConcept C41895202 @default.
- W186765356 hasConcept C97686452 @default.
- W186765356 hasConceptScore W186765356C105795698 @default.
- W186765356 hasConceptScore W186765356C111472728 @default.
- W186765356 hasConceptScore W186765356C115903868 @default.
- W186765356 hasConceptScore W186765356C124304363 @default.
- W186765356 hasConceptScore W186765356C127413603 @default.
- W186765356 hasConceptScore W186765356C138885662 @default.
- W186765356 hasConceptScore W186765356C165064840 @default.
- W186765356 hasConceptScore W186765356C19768560 @default.
- W186765356 hasConceptScore W186765356C199360897 @default.
- W186765356 hasConceptScore W186765356C201995342 @default.
- W186765356 hasConceptScore W186765356C2777904410 @default.
- W186765356 hasConceptScore W186765356C2779136372 @default.
- W186765356 hasConceptScore W186765356C2780451532 @default.
- W186765356 hasConceptScore W186765356C2781215313 @default.
- W186765356 hasConceptScore W186765356C33923547 @default.
- W186765356 hasConceptScore W186765356C41008148 @default.
- W186765356 hasConceptScore W186765356C41895202 @default.
- W186765356 hasConceptScore W186765356C97686452 @default.
- W186765356 hasLocation W1867653561 @default.
- W186765356 hasLocation W1867653562 @default.
- W186765356 hasLocation W1867653563 @default.
- W186765356 hasLocation W1867653564 @default.
- W186765356 hasLocation W1867653565 @default.
- W186765356 hasOpenAccess W186765356 @default.
- W186765356 hasPrimaryLocation W1867653561 @default.
- W186765356 hasRelatedWork W1725973462 @default.
- W186765356 hasRelatedWork W1975949872 @default.
- W186765356 hasRelatedWork W2027822753 @default.
- W186765356 hasRelatedWork W2230552005 @default.
- W186765356 hasRelatedWork W2613379984 @default.
- W186765356 hasRelatedWork W3003280185 @default.
- W186765356 hasRelatedWork W3015859229 @default.
- W186765356 hasRelatedWork W3017846737 @default.
- W186765356 hasRelatedWork W3109411864 @default.
- W186765356 hasRelatedWork W4379407450 @default.
- W186765356 isParatext "false" @default.
- W186765356 isRetracted "false" @default.
- W186765356 magId "186765356" @default.
- W186765356 workType "book-chapter" @default.