Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013252208> ?p ?o ?g. }
- W2013252208 endingPage "1211" @default.
- W2013252208 startingPage "1184" @default.
- W2013252208 abstract "Contracts expressed by logic formulas allow one to formally specify expected behavior of programs. But writing such specifications manually takes a significant amount of work, in particular for uninteresting contracts which only aim at avoiding run-time errors during the execution. Thus, for programs of large size, it is desirable to at least partially infer such contracts. We propose a method to infer contracts expressed as boolean combinations of linear equalities and inequalities by combining different kinds of static analyses: abstract interpretation, weakest precondition computation and quantifier elimination. An important originality of our approach is to proceed modularly, considering subprograms independently. The practical applicability of our approach is demonstrated on experiments performed on a library and two benchmarks of vulnerabilities of C code." @default.
- W2013252208 created "2016-06-24" @default.
- W2013252208 creator A5027356527 @default.
- W2013252208 creator A5041699165 @default.
- W2013252208 date "2010-11-01" @default.
- W2013252208 modified "2023-09-30" @default.
- W2013252208 title "Modular inference of subprogram contracts for safety checking" @default.
- W2013252208 cites W13186636 @default.
- W2013252208 cites W1491037212 @default.
- W2013252208 cites W1498946538 @default.
- W2013252208 cites W1529821561 @default.
- W2013252208 cites W1532097571 @default.
- W2013252208 cites W1550127321 @default.
- W2013252208 cites W1563374593 @default.
- W2013252208 cites W1569747335 @default.
- W2013252208 cites W1579435874 @default.
- W2013252208 cites W1596865963 @default.
- W2013252208 cites W1597009588 @default.
- W2013252208 cites W1825457006 @default.
- W2013252208 cites W1862725884 @default.
- W2013252208 cites W1959256509 @default.
- W2013252208 cites W1964830323 @default.
- W2013252208 cites W1987289444 @default.
- W2013252208 cites W1991450942 @default.
- W2013252208 cites W2002031906 @default.
- W2013252208 cites W2014764321 @default.
- W2013252208 cites W2031373197 @default.
- W2013252208 cites W2038053930 @default.
- W2013252208 cites W2047650147 @default.
- W2013252208 cites W2048229966 @default.
- W2013252208 cites W2051723391 @default.
- W2013252208 cites W2055302606 @default.
- W2013252208 cites W2074847015 @default.
- W2013252208 cites W2078944436 @default.
- W2013252208 cites W2087875803 @default.
- W2013252208 cites W2095907349 @default.
- W2013252208 cites W2096601022 @default.
- W2013252208 cites W2104192759 @default.
- W2013252208 cites W2114980032 @default.
- W2013252208 cites W2117700616 @default.
- W2013252208 cites W2118068787 @default.
- W2013252208 cites W2123631061 @default.
- W2013252208 cites W2126579174 @default.
- W2013252208 cites W2131135493 @default.
- W2013252208 cites W2131243669 @default.
- W2013252208 cites W2132661148 @default.
- W2013252208 cites W2137726309 @default.
- W2013252208 cites W2140856295 @default.
- W2013252208 cites W2141236940 @default.
- W2013252208 cites W2143127453 @default.
- W2013252208 cites W2152567582 @default.
- W2013252208 cites W2160255280 @default.
- W2013252208 cites W2161485845 @default.
- W2013252208 cites W2169907127 @default.
- W2013252208 cites W2171733626 @default.
- W2013252208 cites W2188787405 @default.
- W2013252208 cites W2611598995 @default.
- W2013252208 cites W263217020 @default.
- W2013252208 cites W2912089137 @default.
- W2013252208 cites W2914675183 @default.
- W2013252208 cites W2987803397 @default.
- W2013252208 cites W3009050206 @default.
- W2013252208 cites W3016326598 @default.
- W2013252208 cites W3158747708 @default.
- W2013252208 cites W341258408 @default.
- W2013252208 cites W54417346 @default.
- W2013252208 cites W67428435 @default.
- W2013252208 doi "https://doi.org/10.1016/j.jsc.2010.06.004" @default.
- W2013252208 hasPublicationYear "2010" @default.
- W2013252208 type Work @default.
- W2013252208 sameAs 2013252208 @default.
- W2013252208 citedByCount "14" @default.
- W2013252208 countsByYear W20132522082013 @default.
- W2013252208 countsByYear W20132522082014 @default.
- W2013252208 countsByYear W20132522082015 @default.
- W2013252208 countsByYear W20132522082016 @default.
- W2013252208 countsByYear W20132522082017 @default.
- W2013252208 countsByYear W20132522082018 @default.
- W2013252208 crossrefType "journal-article" @default.
- W2013252208 hasAuthorship W2013252208A5027356527 @default.
- W2013252208 hasAuthorship W2013252208A5041699165 @default.
- W2013252208 hasBestOaLocation W20132522081 @default.
- W2013252208 hasConcept C101468663 @default.
- W2013252208 hasConcept C154945302 @default.
- W2013252208 hasConcept C177264268 @default.
- W2013252208 hasConcept C192465680 @default.
- W2013252208 hasConcept C199360897 @default.
- W2013252208 hasConcept C2776214188 @default.
- W2013252208 hasConcept C2776760102 @default.
- W2013252208 hasConcept C2780654840 @default.
- W2013252208 hasConcept C3746660 @default.
- W2013252208 hasConcept C41008148 @default.
- W2013252208 hasConcept C45374587 @default.
- W2013252208 hasConcept C527412718 @default.
- W2013252208 hasConcept C80444323 @default.
- W2013252208 hasConceptScore W2013252208C101468663 @default.
- W2013252208 hasConceptScore W2013252208C154945302 @default.
- W2013252208 hasConceptScore W2013252208C177264268 @default.