Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013172387> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2013172387 endingPage "1264" @default.
- W2013172387 startingPage "1251" @default.
- W2013172387 abstract "Equality-based control-flow analysis has been studied by Henglein, Bondorf and Jørgensen, DeFouw, Grove, and Chambers, and others. It is faster than the subset-based-0-CFA, but also more approximate. Heintze asserted in 1995 that a program can be safety checked with an equality-based control-flow analysis if and only if it can be typed with recursive types. In this article we falsify Heintze's assertion, and we present a type system equivalent to equality-based control-flow analysis. The new type system contains both recursive types and an unusual notion of subtyping. We have s ≤ t if s and t unfold to the same regular tree, and we have ⊥≤t≤⊤ where t is a function type. In particular, there is no nontrivial subtyping between function types." @default.
- W2013172387 created "2016-06-24" @default.
- W2013172387 creator A5011356414 @default.
- W2013172387 date "1998-11-01" @default.
- W2013172387 modified "2023-10-18" @default.
- W2013172387 title "Equality-based flow analysis versus recursive types" @default.
- W2013172387 cites W1975014520 @default.
- W2013172387 cites W1986334602 @default.
- W2013172387 cites W2009911326 @default.
- W2013172387 cites W2052440299 @default.
- W2013172387 cites W2053118768 @default.
- W2013172387 cites W2058824372 @default.
- W2013172387 cites W2065403304 @default.
- W2013172387 cites W2123727486 @default.
- W2013172387 cites W2131135493 @default.
- W2013172387 cites W2142547405 @default.
- W2013172387 doi "https://doi.org/10.1145/295656.295662" @default.
- W2013172387 hasPublicationYear "1998" @default.
- W2013172387 type Work @default.
- W2013172387 sameAs 2013172387 @default.
- W2013172387 citedByCount "23" @default.
- W2013172387 countsByYear W20131723872012 @default.
- W2013172387 countsByYear W20131723872013 @default.
- W2013172387 countsByYear W20131723872017 @default.
- W2013172387 crossrefType "journal-article" @default.
- W2013172387 hasAuthorship W2013172387A5011356414 @default.
- W2013172387 hasBestOaLocation W20131723871 @default.
- W2013172387 hasConcept C11413529 @default.
- W2013172387 hasConcept C118615104 @default.
- W2013172387 hasConcept C14036430 @default.
- W2013172387 hasConcept C160191386 @default.
- W2013172387 hasConcept C18903297 @default.
- W2013172387 hasConcept C199360897 @default.
- W2013172387 hasConcept C2524010 @default.
- W2013172387 hasConcept C2777299769 @default.
- W2013172387 hasConcept C2982939207 @default.
- W2013172387 hasConcept C33923547 @default.
- W2013172387 hasConcept C38349280 @default.
- W2013172387 hasConcept C40422974 @default.
- W2013172387 hasConcept C41008148 @default.
- W2013172387 hasConcept C78458016 @default.
- W2013172387 hasConcept C80444323 @default.
- W2013172387 hasConcept C83852419 @default.
- W2013172387 hasConcept C86803240 @default.
- W2013172387 hasConcept C98183937 @default.
- W2013172387 hasConceptScore W2013172387C11413529 @default.
- W2013172387 hasConceptScore W2013172387C118615104 @default.
- W2013172387 hasConceptScore W2013172387C14036430 @default.
- W2013172387 hasConceptScore W2013172387C160191386 @default.
- W2013172387 hasConceptScore W2013172387C18903297 @default.
- W2013172387 hasConceptScore W2013172387C199360897 @default.
- W2013172387 hasConceptScore W2013172387C2524010 @default.
- W2013172387 hasConceptScore W2013172387C2777299769 @default.
- W2013172387 hasConceptScore W2013172387C2982939207 @default.
- W2013172387 hasConceptScore W2013172387C33923547 @default.
- W2013172387 hasConceptScore W2013172387C38349280 @default.
- W2013172387 hasConceptScore W2013172387C40422974 @default.
- W2013172387 hasConceptScore W2013172387C41008148 @default.
- W2013172387 hasConceptScore W2013172387C78458016 @default.
- W2013172387 hasConceptScore W2013172387C80444323 @default.
- W2013172387 hasConceptScore W2013172387C83852419 @default.
- W2013172387 hasConceptScore W2013172387C86803240 @default.
- W2013172387 hasConceptScore W2013172387C98183937 @default.
- W2013172387 hasIssue "6" @default.
- W2013172387 hasLocation W20131723871 @default.
- W2013172387 hasLocation W20131723872 @default.
- W2013172387 hasOpenAccess W2013172387 @default.
- W2013172387 hasPrimaryLocation W20131723871 @default.
- W2013172387 hasRelatedWork W1965910013 @default.
- W2013172387 hasRelatedWork W2013172387 @default.
- W2013172387 hasRelatedWork W2136558125 @default.
- W2013172387 hasRelatedWork W2172022734 @default.
- W2013172387 hasRelatedWork W2207032348 @default.
- W2013172387 hasRelatedWork W2763815264 @default.
- W2013172387 hasRelatedWork W2767681984 @default.
- W2013172387 hasRelatedWork W4229928981 @default.
- W2013172387 hasRelatedWork W4243252198 @default.
- W2013172387 hasRelatedWork W1599545360 @default.
- W2013172387 hasVolume "20" @default.
- W2013172387 isParatext "false" @default.
- W2013172387 isRetracted "false" @default.
- W2013172387 magId "2013172387" @default.
- W2013172387 workType "article" @default.