Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161567720> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2161567720 endingPage "217" @default.
- W2161567720 startingPage "185" @default.
- W2161567720 abstract "We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML (SML) programs. This analysis will predict abrupt termination of SML programs, which is SMLs only one “safety hole”. Even though SML program's control flow and exception flow are in general mutually dependent, analyzing the two flows are safely decoupled. Program's control flow is firstly estimated by simple case analysis of call expressions. Using this call-graph information, program's exception flow is derived as set constraints, whose least model is our analysis result. Both of these two analyses are proven safe and the reasons behind each design decision are discussed. Our implementation of this analysis has been applied to realistic SML programs and shows a promising cost-accuracy performance. For the ML-Lex program, for example, the analysis takes 1.36 s and it reports 3 may-uncaught exceptions, which are exactly the exceptions that can really escape. Our final goal is to make the analysis overhead less than 10% of the compilation time (compiling the ML-Lex takes 6–7 s) and to analyze modules in isolation." @default.
- W2161567720 created "2016-06-24" @default.
- W2161567720 creator A5057126487 @default.
- W2161567720 creator A5087492388 @default.
- W2161567720 date "2002-04-01" @default.
- W2161567720 modified "2023-09-27" @default.
- W2161567720 title "A cost-effective estimation of uncaught exceptions in Standard ML programs" @default.
- W2161567720 cites W1535216022 @default.
- W2161567720 cites W1546990306 @default.
- W2161567720 cites W1573087405 @default.
- W2161567720 cites W1587730920 @default.
- W2161567720 cites W1828367272 @default.
- W2161567720 cites W1986334602 @default.
- W2161567720 cites W2033721332 @default.
- W2161567720 cites W2043100293 @default.
- W2161567720 cites W2068711880 @default.
- W2161567720 cites W2151156765 @default.
- W2161567720 cites W2152954816 @default.
- W2161567720 cites W2166822586 @default.
- W2161567720 cites W4235443146 @default.
- W2161567720 doi "https://doi.org/10.1016/s0304-3975(00)00317-0" @default.
- W2161567720 hasPublicationYear "2002" @default.
- W2161567720 type Work @default.
- W2161567720 sameAs 2161567720 @default.
- W2161567720 citedByCount "17" @default.
- W2161567720 countsByYear W21615677202015 @default.
- W2161567720 countsByYear W21615677202016 @default.
- W2161567720 countsByYear W21615677202018 @default.
- W2161567720 crossrefType "journal-article" @default.
- W2161567720 hasAuthorship W2161567720A5057126487 @default.
- W2161567720 hasAuthorship W2161567720A5087492388 @default.
- W2161567720 hasConcept C102379954 @default.
- W2161567720 hasConcept C111472728 @default.
- W2161567720 hasConcept C11413529 @default.
- W2161567720 hasConcept C138885662 @default.
- W2161567720 hasConcept C160191386 @default.
- W2161567720 hasConcept C177264268 @default.
- W2161567720 hasConcept C199360897 @default.
- W2161567720 hasConcept C27458966 @default.
- W2161567720 hasConcept C2775941552 @default.
- W2161567720 hasConcept C2779960059 @default.
- W2161567720 hasConcept C2780586882 @default.
- W2161567720 hasConcept C41008148 @default.
- W2161567720 hasConcept C489000 @default.
- W2161567720 hasConcept C77088390 @default.
- W2161567720 hasConcept C86803240 @default.
- W2161567720 hasConcept C88468194 @default.
- W2161567720 hasConcept C89423630 @default.
- W2161567720 hasConcept C97686452 @default.
- W2161567720 hasConcept C98183937 @default.
- W2161567720 hasConceptScore W2161567720C102379954 @default.
- W2161567720 hasConceptScore W2161567720C111472728 @default.
- W2161567720 hasConceptScore W2161567720C11413529 @default.
- W2161567720 hasConceptScore W2161567720C138885662 @default.
- W2161567720 hasConceptScore W2161567720C160191386 @default.
- W2161567720 hasConceptScore W2161567720C177264268 @default.
- W2161567720 hasConceptScore W2161567720C199360897 @default.
- W2161567720 hasConceptScore W2161567720C27458966 @default.
- W2161567720 hasConceptScore W2161567720C2775941552 @default.
- W2161567720 hasConceptScore W2161567720C2779960059 @default.
- W2161567720 hasConceptScore W2161567720C2780586882 @default.
- W2161567720 hasConceptScore W2161567720C41008148 @default.
- W2161567720 hasConceptScore W2161567720C489000 @default.
- W2161567720 hasConceptScore W2161567720C77088390 @default.
- W2161567720 hasConceptScore W2161567720C86803240 @default.
- W2161567720 hasConceptScore W2161567720C88468194 @default.
- W2161567720 hasConceptScore W2161567720C89423630 @default.
- W2161567720 hasConceptScore W2161567720C97686452 @default.
- W2161567720 hasConceptScore W2161567720C98183937 @default.
- W2161567720 hasIssue "1-2" @default.
- W2161567720 hasLocation W21615677201 @default.
- W2161567720 hasOpenAccess W2161567720 @default.
- W2161567720 hasPrimaryLocation W21615677201 @default.
- W2161567720 hasRelatedWork W1533458689 @default.
- W2161567720 hasRelatedWork W1567692042 @default.
- W2161567720 hasRelatedWork W2052485000 @default.
- W2161567720 hasRelatedWork W2080046362 @default.
- W2161567720 hasRelatedWork W2117042503 @default.
- W2161567720 hasRelatedWork W2161567720 @default.
- W2161567720 hasRelatedWork W2162436812 @default.
- W2161567720 hasRelatedWork W2166895275 @default.
- W2161567720 hasRelatedWork W2380745217 @default.
- W2161567720 hasRelatedWork W2998775986 @default.
- W2161567720 hasVolume "277" @default.
- W2161567720 isParatext "false" @default.
- W2161567720 isRetracted "false" @default.
- W2161567720 magId "2161567720" @default.
- W2161567720 workType "article" @default.