Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156540087> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2156540087 abstract "Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools the everyday development tools. To radically change the situation, we explore the integration of simple user-defined checks into the core of every development process: the compiler. The checks we implement express constrained reachability queries in the control flow graph taking the form from x to y avoiding z, where x, y, and z are native code patterns containing a blend of syntactic, semantic and dataflow information. Compiler integration enables continuous checking throughout development, but also a pervasive propagation of checking technology. This integration poses some interesting challenges, but opens up new perspectives. Factorizing analyses between checking and compiling improves both the efficiency and the expressiveness of the checks. Minimalist user properties and language-independent code pattern matching ensure that our approach can be integrated almost for free in any compiler for any language. We illustrate this approach with a full-fledged checking compiler for C. We demonstrate the need for permanent checking by partially analyzing two different releases of the Linux kernel" @default.
- W2156540087 created "2016-06-24" @default.
- W2156540087 creator A5062478315 @default.
- W2156540087 date "2006-09-01" @default.
- W2156540087 modified "2023-09-25" @default.
- W2156540087 title "A Portable Compiler-Integrated Approach to Permanent Checking" @default.
- W2156540087 cites W1535237014 @default.
- W2156540087 cites W1542698457 @default.
- W2156540087 cites W1556462035 @default.
- W2156540087 cites W1574160142 @default.
- W2156540087 cites W1585020894 @default.
- W2156540087 cites W1600965014 @default.
- W2156540087 cites W1963569294 @default.
- W2156540087 cites W1964830323 @default.
- W2156540087 cites W1976920352 @default.
- W2156540087 cites W2009942758 @default.
- W2156540087 cites W2010452422 @default.
- W2156540087 cites W2066859698 @default.
- W2156540087 cites W2074315105 @default.
- W2156540087 cites W2093080079 @default.
- W2156540087 cites W2103714221 @default.
- W2156540087 cites W2117779697 @default.
- W2156540087 cites W2119736157 @default.
- W2156540087 cites W2121421673 @default.
- W2156540087 cites W2123789037 @default.
- W2156540087 cites W2130958154 @default.
- W2156540087 cites W2134429122 @default.
- W2156540087 cites W2146455667 @default.
- W2156540087 cites W2146878883 @default.
- W2156540087 cites W2156268601 @default.
- W2156540087 cites W2166985644 @default.
- W2156540087 cites W2171480813 @default.
- W2156540087 cites W2478999990 @default.
- W2156540087 cites W3145105573 @default.
- W2156540087 cites W84258820 @default.
- W2156540087 cites W2102930934 @default.
- W2156540087 doi "https://doi.org/10.1109/ase.2006.8" @default.
- W2156540087 hasPublicationYear "2006" @default.
- W2156540087 type Work @default.
- W2156540087 sameAs 2156540087 @default.
- W2156540087 citedByCount "13" @default.
- W2156540087 countsByYear W21565400872012 @default.
- W2156540087 countsByYear W21565400872014 @default.
- W2156540087 countsByYear W21565400872018 @default.
- W2156540087 crossrefType "proceedings-article" @default.
- W2156540087 hasAuthorship W2156540087A5062478315 @default.
- W2156540087 hasBestOaLocation W21565400872 @default.
- W2156540087 hasConcept C110251889 @default.
- W2156540087 hasConcept C132525143 @default.
- W2156540087 hasConcept C169590947 @default.
- W2156540087 hasConcept C199360897 @default.
- W2156540087 hasConcept C41008148 @default.
- W2156540087 hasConcept C80444323 @default.
- W2156540087 hasConcept C96324660 @default.
- W2156540087 hasConceptScore W2156540087C110251889 @default.
- W2156540087 hasConceptScore W2156540087C132525143 @default.
- W2156540087 hasConceptScore W2156540087C169590947 @default.
- W2156540087 hasConceptScore W2156540087C199360897 @default.
- W2156540087 hasConceptScore W2156540087C41008148 @default.
- W2156540087 hasConceptScore W2156540087C80444323 @default.
- W2156540087 hasConceptScore W2156540087C96324660 @default.
- W2156540087 hasLocation W21565400871 @default.
- W2156540087 hasLocation W21565400872 @default.
- W2156540087 hasOpenAccess W2156540087 @default.
- W2156540087 hasPrimaryLocation W21565400871 @default.
- W2156540087 hasRelatedWork W1583465708 @default.
- W2156540087 hasRelatedWork W1601646354 @default.
- W2156540087 hasRelatedWork W1798190463 @default.
- W2156540087 hasRelatedWork W1814870153 @default.
- W2156540087 hasRelatedWork W1977285665 @default.
- W2156540087 hasRelatedWork W2007728761 @default.
- W2156540087 hasRelatedWork W2031722188 @default.
- W2156540087 hasRelatedWork W2134386444 @default.
- W2156540087 hasRelatedWork W3006413190 @default.
- W2156540087 hasRelatedWork W2479014312 @default.
- W2156540087 isParatext "false" @default.
- W2156540087 isRetracted "false" @default.
- W2156540087 magId "2156540087" @default.
- W2156540087 workType "article" @default.