FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3033694951> ?p ?o ?g. }

• W3033694951 endingPage "66" @default.
• W3033694951 startingPage "54" @default.
• W3033694951 abstract "We present a novel approach to scalable implementation of type-based flow analysis with polymorphic subtyping. Using a new presentation of polymorphic subytping with instantiation constraints, we are able to apply context-free language (CFL) reachability techniques to type-based flow analysis. We develop a CFL-based algorithm for computing flow-information in time O( n &sup3;), where n is the size of the typed program. The algorithm substantially improves upon the best previously known algorithm for flow analysis based on polymorphic subtyping with complexity O( n 8 ). Our technique also yields the first demand-driven algorithm for polymorphic subtype-based flow-computation. It works directly on higher-order programs with structured data of finite type (unbounded data structures are incorporated via finite approximations), supports context-sensitive, global flow summariztion and includes polymorphic recursion." @default.
• W3033694951 created "2020-06-12" @default.
• W3033694951 creator A5048771395 @default.
• W3033694951 creator A5060942622 @default.
• W3033694951 date "2001-01-01" @default.
• W3033694951 modified "2023-09-26" @default.
• W3033694951 title "Type-base flow analysis" @default.
• W3033694951 cites W1762020135 @default.
• W3033694951 cites W1964952791 @default.
• W3033694951 cites W1978692906 @default.
• W3033694951 cites W1986334602 @default.
• W3033694951 cites W1989058323 @default.
• W3033694951 cites W1997981086 @default.
• W3033694951 cites W2030166143 @default.
• W3033694951 cites W2043133575 @default.
• W3033694951 cites W2051981528 @default.
• W3033694951 cites W2052094697 @default.
• W3033694951 cites W2052440299 @default.
• W3033694951 cites W2055292912 @default.
• W3033694951 cites W2058279444 @default.
• W3033694951 cites W2064982280 @default.
• W3033694951 cites W2074954052 @default.
• W3033694951 cites W2080573945 @default.
• W3033694951 cites W2093080079 @default.
• W3033694951 cites W2098645109 @default.
• W3033694951 cites W2163319971 @default.
• W3033694951 cites W3118705278 @default.
• W3033694951 doi "https://doi.org/10.1145/373243.360208" @default.
• W3033694951 hasPublicationYear "2001" @default.
• W3033694951 type Work @default.
• W3033694951 sameAs 3033694951 @default.
• W3033694951 citedByCount "14" @default.
• W3033694951 countsByYear W30336949512013 @default.
• W3033694951 countsByYear W30336949512017 @default.
• W3033694951 countsByYear W30336949512019 @default.
• W3033694951 countsByYear W30336949512020 @default.
• W3033694951 countsByYear W30336949512021 @default.
• W3033694951 countsByYear W30336949512023 @default.
• W3033694951 crossrefType "journal-article" @default.
• W3033694951 hasAuthorship W3033694951A5048771395 @default.
• W3033694951 hasAuthorship W3033694951A5060942622 @default.
• W3033694951 hasConcept C11413529 @default.
• W3033694951 hasConcept C136643341 @default.
• W3033694951 hasConcept C151730666 @default.
• W3033694951 hasConcept C154945302 @default.
• W3033694951 hasConcept C162319229 @default.
• W3033694951 hasConcept C168773036 @default.
• W3033694951 hasConcept C18903297 @default.
• W3033694951 hasConcept C198370458 @default.
• W3033694951 hasConcept C199360897 @default.
• W3033694951 hasConcept C2524010 @default.
• W3033694951 hasConcept C2776214188 @default.
• W3033694951 hasConcept C2777299769 @default.
• W3033694951 hasConcept C2779343474 @default.
• W3033694951 hasConcept C2780654840 @default.
• W3033694951 hasConcept C33923547 @default.
• W3033694951 hasConcept C38349280 @default.
• W3033694951 hasConcept C41008148 @default.
• W3033694951 hasConcept C45374587 @default.
• W3033694951 hasConcept C48044578 @default.
• W3033694951 hasConcept C489000 @default.
• W3033694951 hasConcept C77088390 @default.
• W3033694951 hasConcept C80444323 @default.
• W3033694951 hasConcept C83852419 @default.
• W3033694951 hasConcept C86803240 @default.
• W3033694951 hasConcept C88468194 @default.
• W3033694951 hasConcept C97686452 @default.
• W3033694951 hasConceptScore W3033694951C11413529 @default.
• W3033694951 hasConceptScore W3033694951C136643341 @default.
• W3033694951 hasConceptScore W3033694951C151730666 @default.
• W3033694951 hasConceptScore W3033694951C154945302 @default.
• W3033694951 hasConceptScore W3033694951C162319229 @default.
• W3033694951 hasConceptScore W3033694951C168773036 @default.
• W3033694951 hasConceptScore W3033694951C18903297 @default.
• W3033694951 hasConceptScore W3033694951C198370458 @default.
• W3033694951 hasConceptScore W3033694951C199360897 @default.
• W3033694951 hasConceptScore W3033694951C2524010 @default.
• W3033694951 hasConceptScore W3033694951C2776214188 @default.
• W3033694951 hasConceptScore W3033694951C2777299769 @default.
• W3033694951 hasConceptScore W3033694951C2779343474 @default.
• W3033694951 hasConceptScore W3033694951C2780654840 @default.
• W3033694951 hasConceptScore W3033694951C33923547 @default.
• W3033694951 hasConceptScore W3033694951C38349280 @default.
• W3033694951 hasConceptScore W3033694951C41008148 @default.
• W3033694951 hasConceptScore W3033694951C45374587 @default.
• W3033694951 hasConceptScore W3033694951C48044578 @default.
• W3033694951 hasConceptScore W3033694951C489000 @default.
• W3033694951 hasConceptScore W3033694951C77088390 @default.
• W3033694951 hasConceptScore W3033694951C80444323 @default.
• W3033694951 hasConceptScore W3033694951C83852419 @default.
• W3033694951 hasConceptScore W3033694951C86803240 @default.
• W3033694951 hasConceptScore W3033694951C88468194 @default.
• W3033694951 hasConceptScore W3033694951C97686452 @default.
• W3033694951 hasIssue "3" @default.
• W3033694951 hasLocation W30336949511 @default.
• W3033694951 hasOpenAccess W3033694951 @default.
• W3033694951 hasPrimaryLocation W30336949511 @default.
• W3033694951 hasRelatedWork W1603809778 @default.

• next