Matches in SemOpenAlex for { <https://semopenalex.org/work/W1511337687> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1511337687 abstract "We present a generic symbolic analysis framework for imperative programming languages. Our framework is capable of computing all valid variable bindings of a program at given program points. This information is invaluable for domain-specific static program analyses such as memory leak detection, program parallelisation, and the detection of superfluous bound checks, variable aliases and task deadlocks.We employ path expression algebra to model the control flow information of programs. A homomorphism maps path expressions into the symbolic domain. At the center of the symbolic domain is a compact algebraic structure called supercontext. A supercontext contains the complete control and data flow analysis information valid at a given program point.Our approach to compute supercontexts is based purely on algebra and is fully automated. This novel representation of program semantics closes the gap between program analysis and computer algebra systems, which makes supercontexts an ideal intermediate representation for all domain-specific static program analyses.Our approach is more general than existing methods because it can derive solutions for arbitrary (even intra-loop) nodes of reducible and irreducible control flow graphs. We prove the correctness of our symbolic analysis method. Our experimental results show that the problem sizes arising from real-world applications such as the SPEC95 benchmark suite are tractable for our symbolic analysis framework." @default.
- W1511337687 created "2016-06-24" @default.
- W1511337687 creator A5012072107 @default.
- W1511337687 creator A5018666482 @default.
- W1511337687 creator A5084068260 @default.
- W1511337687 date "2006-01-01" @default.
- W1511337687 modified "2023-10-16" @default.
- W1511337687 title "Symbolic Analysis of Imperative Programming Languages" @default.
- W1511337687 cites W1480364058 @default.
- W1511337687 cites W1480560681 @default.
- W1511337687 cites W1485738864 @default.
- W1511337687 cites W1512244320 @default.
- W1511337687 cites W1590149148 @default.
- W1511337687 cites W1628745019 @default.
- W1511337687 cites W1963571656 @default.
- W1511337687 cites W1972388855 @default.
- W1511337687 cites W1981100351 @default.
- W1511337687 cites W2010194128 @default.
- W1511337687 cites W2043100293 @default.
- W1511337687 cites W2047937237 @default.
- W1511337687 cites W2078314687 @default.
- W1511337687 cites W2089294198 @default.
- W1511337687 cites W2095840200 @default.
- W1511337687 cites W2098147366 @default.
- W1511337687 cites W2131104898 @default.
- W1511337687 cites W2132331020 @default.
- W1511337687 cites W2133680060 @default.
- W1511337687 cites W2148597203 @default.
- W1511337687 cites W281821942 @default.
- W1511337687 cites W3010182501 @default.
- W1511337687 cites W3092545530 @default.
- W1511337687 cites W4230919050 @default.
- W1511337687 doi "https://doi.org/10.1007/11860990_12" @default.
- W1511337687 hasPublicationYear "2006" @default.
- W1511337687 type Work @default.
- W1511337687 sameAs 1511337687 @default.
- W1511337687 citedByCount "6" @default.
- W1511337687 countsByYear W15113376872012 @default.
- W1511337687 countsByYear W15113376872014 @default.
- W1511337687 crossrefType "book-chapter" @default.
- W1511337687 hasAuthorship W1511337687A5012072107 @default.
- W1511337687 hasAuthorship W1511337687A5018666482 @default.
- W1511337687 hasAuthorship W1511337687A5084068260 @default.
- W1511337687 hasConcept C110251889 @default.
- W1511337687 hasConcept C110812573 @default.
- W1511337687 hasConcept C134306372 @default.
- W1511337687 hasConcept C160191386 @default.
- W1511337687 hasConcept C199360897 @default.
- W1511337687 hasConcept C23123167 @default.
- W1511337687 hasConcept C27458966 @default.
- W1511337687 hasConcept C2777904410 @default.
- W1511337687 hasConcept C2779639559 @default.
- W1511337687 hasConcept C33923547 @default.
- W1511337687 hasConcept C36503486 @default.
- W1511337687 hasConcept C41008148 @default.
- W1511337687 hasConcept C55439883 @default.
- W1511337687 hasConcept C65620979 @default.
- W1511337687 hasConcept C80444323 @default.
- W1511337687 hasConcept C97686452 @default.
- W1511337687 hasConcept C98183937 @default.
- W1511337687 hasConceptScore W1511337687C110251889 @default.
- W1511337687 hasConceptScore W1511337687C110812573 @default.
- W1511337687 hasConceptScore W1511337687C134306372 @default.
- W1511337687 hasConceptScore W1511337687C160191386 @default.
- W1511337687 hasConceptScore W1511337687C199360897 @default.
- W1511337687 hasConceptScore W1511337687C23123167 @default.
- W1511337687 hasConceptScore W1511337687C27458966 @default.
- W1511337687 hasConceptScore W1511337687C2777904410 @default.
- W1511337687 hasConceptScore W1511337687C2779639559 @default.
- W1511337687 hasConceptScore W1511337687C33923547 @default.
- W1511337687 hasConceptScore W1511337687C36503486 @default.
- W1511337687 hasConceptScore W1511337687C41008148 @default.
- W1511337687 hasConceptScore W1511337687C55439883 @default.
- W1511337687 hasConceptScore W1511337687C65620979 @default.
- W1511337687 hasConceptScore W1511337687C80444323 @default.
- W1511337687 hasConceptScore W1511337687C97686452 @default.
- W1511337687 hasConceptScore W1511337687C98183937 @default.
- W1511337687 hasLocation W15113376871 @default.
- W1511337687 hasOpenAccess W1511337687 @default.
- W1511337687 hasPrimaryLocation W15113376871 @default.
- W1511337687 hasRelatedWork W1520261999 @default.
- W1511337687 hasRelatedWork W1533112326 @default.
- W1511337687 hasRelatedWork W1594482512 @default.
- W1511337687 hasRelatedWork W1608659702 @default.
- W1511337687 hasRelatedWork W1784890497 @default.
- W1511337687 hasRelatedWork W1814870153 @default.
- W1511337687 hasRelatedWork W2100424584 @default.
- W1511337687 hasRelatedWork W2899100898 @default.
- W1511337687 hasRelatedWork W2584819674 @default.
- W1511337687 hasRelatedWork W2789178056 @default.
- W1511337687 isParatext "false" @default.
- W1511337687 isRetracted "false" @default.
- W1511337687 magId "1511337687" @default.
- W1511337687 workType "book-chapter" @default.