Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034379323> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2034379323 endingPage "416" @default.
- W2034379323 startingPage "370" @default.
- W2034379323 abstract "Set-based analysis (SBA) produces good predictions about the behavior of functional and object-oriented programs. The analysis proceeds by inferring constraints that characterize the data flow relationships of the analyzed program. Experiences with MrSpidey, a static debugger based on SBA, indicate that SBA can adequately deal with programs of up to a couple of thousand lines of code. SBA fails, however, to cope with larger programs because it generates systems of constraints that are at least linear, and possibility quadratic, in the size of the analyzed program. This article presents theoretical and practical results concerning methods for reducing the size of constraint systems. The theoretical results include of proof-theoretic characterization of the observable behavior of constraint systems for program components, and a complete algorithm for deciding the observable equivalence of constraint systems. In the course of this development we establish a close connection between the observable equivalence of constraint systems and the equivalence of regular-tree grammars. We then exploit this connection to adapt a variety of algoirthms for simplifying grammars to the problem of simplifying constraint systems. Based on the resulting algorithms, we have developed componential set-based analysis , a modular and polymorphic variant of SBA. Experimental results verify the effectiveness of the simplification algorithms and the componential analysis. The simplified constraint systems are typically an order of magnitude smaller than the original systems. These reductions in size produce significant gains in the speed of the analysis." @default.
- W2034379323 created "2016-06-24" @default.
- W2034379323 creator A5000905628 @default.
- W2034379323 creator A5018139743 @default.
- W2034379323 date "1999-03-01" @default.
- W2034379323 modified "2023-10-17" @default.
- W2034379323 title "Componential set-based analysis" @default.
- W2034379323 cites W1967698620 @default.
- W2034379323 cites W1977541831 @default.
- W2034379323 cites W1980939032 @default.
- W2034379323 cites W2004419599 @default.
- W2034379323 cites W2052822938 @default.
- W2034379323 cites W2065403304 @default.
- W2034379323 cites W2122493035 @default.
- W2034379323 cites W2151156765 @default.
- W2034379323 cites W2999264287 @default.
- W2034379323 doi "https://doi.org/10.1145/316686.316703" @default.
- W2034379323 hasPublicationYear "1999" @default.
- W2034379323 type Work @default.
- W2034379323 sameAs 2034379323 @default.
- W2034379323 citedByCount "70" @default.
- W2034379323 countsByYear W20343793232012 @default.
- W2034379323 countsByYear W20343793232014 @default.
- W2034379323 countsByYear W20343793232015 @default.
- W2034379323 countsByYear W20343793232016 @default.
- W2034379323 countsByYear W20343793232017 @default.
- W2034379323 countsByYear W20343793232019 @default.
- W2034379323 countsByYear W20343793232020 @default.
- W2034379323 countsByYear W20343793232021 @default.
- W2034379323 crossrefType "journal-article" @default.
- W2034379323 hasAuthorship W2034379323A5000905628 @default.
- W2034379323 hasAuthorship W2034379323A5018139743 @default.
- W2034379323 hasBestOaLocation W20343793231 @default.
- W2034379323 hasConcept C101468663 @default.
- W2034379323 hasConcept C11413529 @default.
- W2034379323 hasConcept C118615104 @default.
- W2034379323 hasConcept C121332964 @default.
- W2034379323 hasConcept C165696696 @default.
- W2034379323 hasConcept C177264268 @default.
- W2034379323 hasConcept C199360897 @default.
- W2034379323 hasConcept C2524010 @default.
- W2034379323 hasConcept C2776036281 @default.
- W2034379323 hasConcept C2780069185 @default.
- W2034379323 hasConcept C32848918 @default.
- W2034379323 hasConcept C33923547 @default.
- W2034379323 hasConcept C38652104 @default.
- W2034379323 hasConcept C41008148 @default.
- W2034379323 hasConcept C62520636 @default.
- W2034379323 hasConcept C80444323 @default.
- W2034379323 hasConceptScore W2034379323C101468663 @default.
- W2034379323 hasConceptScore W2034379323C11413529 @default.
- W2034379323 hasConceptScore W2034379323C118615104 @default.
- W2034379323 hasConceptScore W2034379323C121332964 @default.
- W2034379323 hasConceptScore W2034379323C165696696 @default.
- W2034379323 hasConceptScore W2034379323C177264268 @default.
- W2034379323 hasConceptScore W2034379323C199360897 @default.
- W2034379323 hasConceptScore W2034379323C2524010 @default.
- W2034379323 hasConceptScore W2034379323C2776036281 @default.
- W2034379323 hasConceptScore W2034379323C2780069185 @default.
- W2034379323 hasConceptScore W2034379323C32848918 @default.
- W2034379323 hasConceptScore W2034379323C33923547 @default.
- W2034379323 hasConceptScore W2034379323C38652104 @default.
- W2034379323 hasConceptScore W2034379323C41008148 @default.
- W2034379323 hasConceptScore W2034379323C62520636 @default.
- W2034379323 hasConceptScore W2034379323C80444323 @default.
- W2034379323 hasIssue "2" @default.
- W2034379323 hasLocation W20343793231 @default.
- W2034379323 hasOpenAccess W2034379323 @default.
- W2034379323 hasPrimaryLocation W20343793231 @default.
- W2034379323 hasRelatedWork W2112962394 @default.
- W2034379323 hasRelatedWork W2118300983 @default.
- W2034379323 hasRelatedWork W2331043530 @default.
- W2034379323 hasRelatedWork W2374725260 @default.
- W2034379323 hasRelatedWork W2393933887 @default.
- W2034379323 hasRelatedWork W2997512100 @default.
- W2034379323 hasRelatedWork W3137189469 @default.
- W2034379323 hasRelatedWork W4235581521 @default.
- W2034379323 hasRelatedWork W4237843922 @default.
- W2034379323 hasRelatedWork W4243252198 @default.
- W2034379323 hasVolume "21" @default.
- W2034379323 isParatext "false" @default.
- W2034379323 isRetracted "false" @default.
- W2034379323 magId "2034379323" @default.
- W2034379323 workType "article" @default.