Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052804469> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2052804469 abstract "We define a general notion of set-based analysis --- any language whose operational semantics is defined by environment evaluation has a well defined set-based abstraction. This general definition covers both Aiken and Wimmers' type system and Heintze' set-based analysis. Aiken and Wimmers give a nondeterministic exponential time algorithm for their analysis. Heintze gives an O(n3) procedure. We show that this discrepancy is due to the complexity of the case statements analyzed. For polymorphic programs with deep patterns in case statements (as in the Aiken-Wimmers language) we show that the problem of determining type-safety under set-based abstraction is complete for deterministic exponential time. The problem remains complete for deterministic exponential time for programs without let (monovariant programs). However, for monovariant programs in which all patterns in case statements are shallow, as in the Heintze language, type-safety under set-based abstraction is decidable in cubic time. We give five additional theorems which (nearly exhaustively) characterize the time complexity of set-based analysis as a function of the complexity of case statements." @default.
- W2052804469 created "2016-06-24" @default.
- W2052804469 creator A5027118573 @default.
- W2052804469 creator A5033089246 @default.
- W2052804469 date "1997-08-01" @default.
- W2052804469 modified "2023-10-17" @default.
- W2052804469 title "On the complexity of set-based analysis" @default.
- W2052804469 cites W1963954367 @default.
- W2052804469 cites W2001507716 @default.
- W2052804469 cites W2014387690 @default.
- W2052804469 cites W2022443117 @default.
- W2052804469 cites W2033084853 @default.
- W2052804469 cites W2043100293 @default.
- W2052804469 cites W2060688393 @default.
- W2052804469 cites W2061268302 @default.
- W2052804469 cites W2076696436 @default.
- W2052804469 cites W2102389857 @default.
- W2052804469 doi "https://doi.org/10.1145/258948.258963" @default.
- W2052804469 hasPublicationYear "1997" @default.
- W2052804469 type Work @default.
- W2052804469 sameAs 2052804469 @default.
- W2052804469 citedByCount "12" @default.
- W2052804469 countsByYear W20528044692012 @default.
- W2052804469 countsByYear W20528044692021 @default.
- W2052804469 crossrefType "proceedings-article" @default.
- W2052804469 hasAuthorship W2052804469A5027118573 @default.
- W2052804469 hasAuthorship W2052804469A5033089246 @default.
- W2052804469 hasBestOaLocation W20528044691 @default.
- W2052804469 hasConcept C111472728 @default.
- W2052804469 hasConcept C11413529 @default.
- W2052804469 hasConcept C124304363 @default.
- W2052804469 hasConcept C134306372 @default.
- W2052804469 hasConcept C138885662 @default.
- W2052804469 hasConcept C14036430 @default.
- W2052804469 hasConcept C151376022 @default.
- W2052804469 hasConcept C153269930 @default.
- W2052804469 hasConcept C176181172 @default.
- W2052804469 hasConcept C177264268 @default.
- W2052804469 hasConcept C184337299 @default.
- W2052804469 hasConcept C199360897 @default.
- W2052804469 hasConcept C311688 @default.
- W2052804469 hasConcept C33923547 @default.
- W2052804469 hasConcept C41008148 @default.
- W2052804469 hasConcept C78458016 @default.
- W2052804469 hasConcept C80444323 @default.
- W2052804469 hasConcept C86803240 @default.
- W2052804469 hasConcept C98183937 @default.
- W2052804469 hasConceptScore W2052804469C111472728 @default.
- W2052804469 hasConceptScore W2052804469C11413529 @default.
- W2052804469 hasConceptScore W2052804469C124304363 @default.
- W2052804469 hasConceptScore W2052804469C134306372 @default.
- W2052804469 hasConceptScore W2052804469C138885662 @default.
- W2052804469 hasConceptScore W2052804469C14036430 @default.
- W2052804469 hasConceptScore W2052804469C151376022 @default.
- W2052804469 hasConceptScore W2052804469C153269930 @default.
- W2052804469 hasConceptScore W2052804469C176181172 @default.
- W2052804469 hasConceptScore W2052804469C177264268 @default.
- W2052804469 hasConceptScore W2052804469C184337299 @default.
- W2052804469 hasConceptScore W2052804469C199360897 @default.
- W2052804469 hasConceptScore W2052804469C311688 @default.
- W2052804469 hasConceptScore W2052804469C33923547 @default.
- W2052804469 hasConceptScore W2052804469C41008148 @default.
- W2052804469 hasConceptScore W2052804469C78458016 @default.
- W2052804469 hasConceptScore W2052804469C80444323 @default.
- W2052804469 hasConceptScore W2052804469C86803240 @default.
- W2052804469 hasConceptScore W2052804469C98183937 @default.
- W2052804469 hasLocation W20528044691 @default.
- W2052804469 hasOpenAccess W2052804469 @default.
- W2052804469 hasPrimaryLocation W20528044691 @default.
- W2052804469 hasRelatedWork W1587224678 @default.
- W2052804469 hasRelatedWork W2052804469 @default.
- W2052804469 hasRelatedWork W2141112857 @default.
- W2052804469 hasRelatedWork W2939770589 @default.
- W2052804469 hasRelatedWork W2951142612 @default.
- W2052804469 hasRelatedWork W3160136729 @default.
- W2052804469 hasRelatedWork W4238875431 @default.
- W2052804469 hasRelatedWork W4297914695 @default.
- W2052804469 hasRelatedWork W4379924946 @default.
- W2052804469 hasRelatedWork W4385439110 @default.
- W2052804469 isParatext "false" @default.
- W2052804469 isRetracted "false" @default.
- W2052804469 magId "2052804469" @default.
- W2052804469 workType "article" @default.