Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912379640> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2912379640 endingPage "83" @default.
- W2912379640 startingPage "63" @default.
- W2912379640 abstract "Many type based program analyses with subtyping, such as flow analysis, are based on inequality constraints over a lattice. When inequality constraints are combined with polymorphism it is often hard to scale the analysis up to large programs. A major source of inefficiency in conventional implementations stems from computing substitution instances of constraints. In this paper we extend the constraint language with constraint abstractions so that instantiation can be expressed directly in the constraint language and we give a cubic-time algorithm for constraint solving. As an application, we illustrate how a flow analysis with flow subtyping, flow polymorphism and flow-polymorphic recursion can be implemented in O(n 3) time where n is the size of the explicitly typed program." @default.
- W2912379640 created "2019-02-21" @default.
- W2912379640 creator A5055736375 @default.
- W2912379640 creator A5080436998 @default.
- W2912379640 date "2001-01-01" @default.
- W2912379640 modified "2023-09-27" @default.
- W2912379640 title "Constraint Abstractions" @default.
- W2912379640 cites W1491698270 @default.
- W2912379640 cites W1507723317 @default.
- W2912379640 cites W1562611359 @default.
- W2912379640 cites W1566905983 @default.
- W2912379640 cites W1587849775 @default.
- W2912379640 cites W1762020135 @default.
- W2912379640 cites W1964952791 @default.
- W2912379640 cites W1978692906 @default.
- W2912379640 cites W2011648260 @default.
- W2912379640 cites W2043133575 @default.
- W2912379640 cites W2051981528 @default.
- W2912379640 cites W2052094697 @default.
- W2912379640 cites W2055292912 @default.
- W2912379640 cites W2058279444 @default.
- W2912379640 cites W2064982280 @default.
- W2912379640 cites W2079752311 @default.
- W2912379640 cites W2156549049 @default.
- W2912379640 doi "https://doi.org/10.1007/3-540-44978-7_5" @default.
- W2912379640 hasPublicationYear "2001" @default.
- W2912379640 type Work @default.
- W2912379640 sameAs 2912379640 @default.
- W2912379640 citedByCount "18" @default.
- W2912379640 countsByYear W29123796402012 @default.
- W2912379640 countsByYear W29123796402013 @default.
- W2912379640 countsByYear W29123796402014 @default.
- W2912379640 crossrefType "book-chapter" @default.
- W2912379640 hasAuthorship W2912379640A5055736375 @default.
- W2912379640 hasAuthorship W2912379640A5080436998 @default.
- W2912379640 hasBestOaLocation W29123796402 @default.
- W2912379640 hasConcept C11413529 @default.
- W2912379640 hasConcept C168773036 @default.
- W2912379640 hasConcept C199360897 @default.
- W2912379640 hasConcept C2524010 @default.
- W2912379640 hasConcept C26713055 @default.
- W2912379640 hasConcept C2776036281 @default.
- W2912379640 hasConcept C33923547 @default.
- W2912379640 hasConcept C41008148 @default.
- W2912379640 hasConcept C80444323 @default.
- W2912379640 hasConcept C83852419 @default.
- W2912379640 hasConceptScore W2912379640C11413529 @default.
- W2912379640 hasConceptScore W2912379640C168773036 @default.
- W2912379640 hasConceptScore W2912379640C199360897 @default.
- W2912379640 hasConceptScore W2912379640C2524010 @default.
- W2912379640 hasConceptScore W2912379640C26713055 @default.
- W2912379640 hasConceptScore W2912379640C2776036281 @default.
- W2912379640 hasConceptScore W2912379640C33923547 @default.
- W2912379640 hasConceptScore W2912379640C41008148 @default.
- W2912379640 hasConceptScore W2912379640C80444323 @default.
- W2912379640 hasConceptScore W2912379640C83852419 @default.
- W2912379640 hasLocation W29123796401 @default.
- W2912379640 hasLocation W29123796402 @default.
- W2912379640 hasOpenAccess W2912379640 @default.
- W2912379640 hasPrimaryLocation W29123796401 @default.
- W2912379640 hasRelatedWork W1485630101 @default.
- W2912379640 hasRelatedWork W1501103054 @default.
- W2912379640 hasRelatedWork W1964111820 @default.
- W2912379640 hasRelatedWork W1984757784 @default.
- W2912379640 hasRelatedWork W2079752311 @default.
- W2912379640 hasRelatedWork W2083338789 @default.
- W2912379640 hasRelatedWork W2166247150 @default.
- W2912379640 hasRelatedWork W2763815264 @default.
- W2912379640 hasRelatedWork W4243252198 @default.
- W2912379640 hasRelatedWork W2526467014 @default.
- W2912379640 isParatext "false" @default.
- W2912379640 isRetracted "false" @default.
- W2912379640 magId "2912379640" @default.
- W2912379640 workType "book-chapter" @default.