Matches in SemOpenAlex for { <https://semopenalex.org/work/W23335186> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W23335186 abstract "Program analysis is an important aspect of modern program development. Compilers use program analysis to prove the correctness of optimizing program transformations. Static error detection tools use program analysis to alert the programmer to the presence of potential errors. This dissertation focuses on the expressiveness and implementation of constraint-based program analyses, i.e., analyses that are expressed as solutions to a system of constraints. We show that structuring the implementation of program analyses around a library of generic constraint solvers promotes reuse, gives control over precision-efficiency tradeoffs, and enables optimizations that yield orders of magnitude speedups over standard implementations. The first part of the dissertation develops the formalism of mixed constraints which provides a combination of several constraint formalisms with distinct precision-efficiency tradeoffs. We provide a semantics for constraints and constraint resolution algorithms. The second part of the dissertation describes an implementation of mixed constraints and a number of novel techniques to support the practical resolution of large constraint systems. We give empirical results supporting the claims of scalability, reuse, and choice of precision-efficiency tradeoffs provided by the mixed constraint framework." @default.
- W23335186 created "2016-06-24" @default.
- W23335186 creator A5061301239 @default.
- W23335186 creator A5084249145 @default.
- W23335186 date "1999-01-01" @default.
- W23335186 modified "2023-09-23" @default.
- W23335186 title "Bane: a library for scalable constraint-based program analysis" @default.
- W23335186 hasPublicationYear "1999" @default.
- W23335186 type Work @default.
- W23335186 sameAs 23335186 @default.
- W23335186 citedByCount "4" @default.
- W23335186 crossrefType "dissertation" @default.
- W23335186 hasAuthorship W23335186A5061301239 @default.
- W23335186 hasAuthorship W23335186A5084249145 @default.
- W23335186 hasConcept C126255220 @default.
- W23335186 hasConcept C127413603 @default.
- W23335186 hasConcept C137631369 @default.
- W23335186 hasConcept C169590947 @default.
- W23335186 hasConcept C171018156 @default.
- W23335186 hasConcept C173404611 @default.
- W23335186 hasConcept C184337299 @default.
- W23335186 hasConcept C199360897 @default.
- W23335186 hasConcept C206588197 @default.
- W23335186 hasConcept C2524010 @default.
- W23335186 hasConcept C26713055 @default.
- W23335186 hasConcept C2776036281 @default.
- W23335186 hasConcept C2778514511 @default.
- W23335186 hasConcept C33923547 @default.
- W23335186 hasConcept C41008148 @default.
- W23335186 hasConcept C48044578 @default.
- W23335186 hasConcept C548081761 @default.
- W23335186 hasConcept C55439883 @default.
- W23335186 hasConcept C77088390 @default.
- W23335186 hasConcept C80444323 @default.
- W23335186 hasConcept C98183937 @default.
- W23335186 hasConceptScore W23335186C126255220 @default.
- W23335186 hasConceptScore W23335186C127413603 @default.
- W23335186 hasConceptScore W23335186C137631369 @default.
- W23335186 hasConceptScore W23335186C169590947 @default.
- W23335186 hasConceptScore W23335186C171018156 @default.
- W23335186 hasConceptScore W23335186C173404611 @default.
- W23335186 hasConceptScore W23335186C184337299 @default.
- W23335186 hasConceptScore W23335186C199360897 @default.
- W23335186 hasConceptScore W23335186C206588197 @default.
- W23335186 hasConceptScore W23335186C2524010 @default.
- W23335186 hasConceptScore W23335186C26713055 @default.
- W23335186 hasConceptScore W23335186C2776036281 @default.
- W23335186 hasConceptScore W23335186C2778514511 @default.
- W23335186 hasConceptScore W23335186C33923547 @default.
- W23335186 hasConceptScore W23335186C41008148 @default.
- W23335186 hasConceptScore W23335186C48044578 @default.
- W23335186 hasConceptScore W23335186C548081761 @default.
- W23335186 hasConceptScore W23335186C55439883 @default.
- W23335186 hasConceptScore W23335186C77088390 @default.
- W23335186 hasConceptScore W23335186C80444323 @default.
- W23335186 hasConceptScore W23335186C98183937 @default.
- W23335186 hasLocation W233351861 @default.
- W23335186 hasOpenAccess W23335186 @default.
- W23335186 hasPrimaryLocation W233351861 @default.
- W23335186 hasRelatedWork W149731632 @default.
- W23335186 hasRelatedWork W1584616449 @default.
- W23335186 hasRelatedWork W1687629676 @default.
- W23335186 hasRelatedWork W1838269210 @default.
- W23335186 hasRelatedWork W1990880047 @default.
- W23335186 hasRelatedWork W2022443117 @default.
- W23335186 hasRelatedWork W2043133575 @default.
- W23335186 hasRelatedWork W2065088439 @default.
- W23335186 hasRelatedWork W2067012475 @default.
- W23335186 hasRelatedWork W2068457689 @default.
- W23335186 hasRelatedWork W2074954052 @default.
- W23335186 hasRelatedWork W2076879110 @default.
- W23335186 hasRelatedWork W2131135493 @default.
- W23335186 hasRelatedWork W2166822586 @default.
- W23335186 hasRelatedWork W2170363162 @default.
- W23335186 hasRelatedWork W2468310880 @default.
- W23335186 hasRelatedWork W2490972876 @default.
- W23335186 hasRelatedWork W2501678966 @default.
- W23335186 hasRelatedWork W2885205415 @default.
- W23335186 hasRelatedWork W2954487282 @default.
- W23335186 isParatext "false" @default.
- W23335186 isRetracted "false" @default.
- W23335186 magId "23335186" @default.
- W23335186 workType "dissertation" @default.