Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017112612> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2017112612 abstract "We show how Max-SMT can be exploited in constraint-based program termination proving. Thanks to expressing the generation of a ranking function as a Max-SMT optimization problem where constraints are assigned different weights, quasi-ranking functions -functions that almost satisfy all conditions for ensuring well-foundedness- are produced in a lack of ranking functions. By means of trace partitioning, this allows our method to progress in the termination analysis where other approaches would get stuck. Moreover, Max-SMT makes it easy to combine the process of building the termination argument with the usually necessary task of generating supporting invariants. The method has been implemented in a prototype that has successfully been tested on a wide set of programs." @default.
- W2017112612 created "2016-06-24" @default.
- W2017112612 creator A5021913033 @default.
- W2017112612 creator A5054784931 @default.
- W2017112612 creator A5087949614 @default.
- W2017112612 creator A5091244452 @default.
- W2017112612 date "2013-10-01" @default.
- W2017112612 modified "2023-10-17" @default.
- W2017112612 title "Proving termination of imperative programs using Max-SMT" @default.
- W2017112612 cites W1500350535 @default.
- W2017112612 cites W1589106570 @default.
- W2017112612 cites W188927585 @default.
- W2017112612 cites W1974368544 @default.
- W2017112612 cites W2008064904 @default.
- W2017112612 cites W2112350720 @default.
- W2017112612 cites W2148050168 @default.
- W2017112612 cites W2149745672 @default.
- W2017112612 cites W3102757572 @default.
- W2017112612 cites W4232668957 @default.
- W2017112612 cites W4248689402 @default.
- W2017112612 doi "https://doi.org/10.1109/fmcad.2013.6679413" @default.
- W2017112612 hasPublicationYear "2013" @default.
- W2017112612 type Work @default.
- W2017112612 sameAs 2017112612 @default.
- W2017112612 citedByCount "45" @default.
- W2017112612 countsByYear W20171126122013 @default.
- W2017112612 countsByYear W20171126122014 @default.
- W2017112612 countsByYear W20171126122015 @default.
- W2017112612 countsByYear W20171126122016 @default.
- W2017112612 countsByYear W20171126122017 @default.
- W2017112612 countsByYear W20171126122018 @default.
- W2017112612 countsByYear W20171126122019 @default.
- W2017112612 countsByYear W20171126122020 @default.
- W2017112612 countsByYear W20171126122021 @default.
- W2017112612 countsByYear W20171126122023 @default.
- W2017112612 crossrefType "proceedings-article" @default.
- W2017112612 hasAuthorship W2017112612A5021913033 @default.
- W2017112612 hasAuthorship W2017112612A5054784931 @default.
- W2017112612 hasAuthorship W2017112612A5087949614 @default.
- W2017112612 hasAuthorship W2017112612A5091244452 @default.
- W2017112612 hasBestOaLocation W20171126122 @default.
- W2017112612 hasConcept C11413529 @default.
- W2017112612 hasConcept C127413603 @default.
- W2017112612 hasConcept C138885662 @default.
- W2017112612 hasConcept C14036430 @default.
- W2017112612 hasConcept C154945302 @default.
- W2017112612 hasConcept C177264268 @default.
- W2017112612 hasConcept C189430467 @default.
- W2017112612 hasConcept C199360897 @default.
- W2017112612 hasConcept C201995342 @default.
- W2017112612 hasConcept C2524010 @default.
- W2017112612 hasConcept C2776036281 @default.
- W2017112612 hasConcept C2780451532 @default.
- W2017112612 hasConcept C33923547 @default.
- W2017112612 hasConcept C41008148 @default.
- W2017112612 hasConcept C41895202 @default.
- W2017112612 hasConcept C75291252 @default.
- W2017112612 hasConcept C78458016 @default.
- W2017112612 hasConcept C80444323 @default.
- W2017112612 hasConcept C86803240 @default.
- W2017112612 hasConcept C98045186 @default.
- W2017112612 hasConceptScore W2017112612C11413529 @default.
- W2017112612 hasConceptScore W2017112612C127413603 @default.
- W2017112612 hasConceptScore W2017112612C138885662 @default.
- W2017112612 hasConceptScore W2017112612C14036430 @default.
- W2017112612 hasConceptScore W2017112612C154945302 @default.
- W2017112612 hasConceptScore W2017112612C177264268 @default.
- W2017112612 hasConceptScore W2017112612C189430467 @default.
- W2017112612 hasConceptScore W2017112612C199360897 @default.
- W2017112612 hasConceptScore W2017112612C201995342 @default.
- W2017112612 hasConceptScore W2017112612C2524010 @default.
- W2017112612 hasConceptScore W2017112612C2776036281 @default.
- W2017112612 hasConceptScore W2017112612C2780451532 @default.
- W2017112612 hasConceptScore W2017112612C33923547 @default.
- W2017112612 hasConceptScore W2017112612C41008148 @default.
- W2017112612 hasConceptScore W2017112612C41895202 @default.
- W2017112612 hasConceptScore W2017112612C75291252 @default.
- W2017112612 hasConceptScore W2017112612C78458016 @default.
- W2017112612 hasConceptScore W2017112612C80444323 @default.
- W2017112612 hasConceptScore W2017112612C86803240 @default.
- W2017112612 hasConceptScore W2017112612C98045186 @default.
- W2017112612 hasLocation W20171126121 @default.
- W2017112612 hasLocation W20171126122 @default.
- W2017112612 hasOpenAccess W2017112612 @default.
- W2017112612 hasPrimaryLocation W20171126121 @default.
- W2017112612 hasRelatedWork W1555873941 @default.
- W2017112612 hasRelatedWork W2152087638 @default.
- W2017112612 hasRelatedWork W2365088826 @default.
- W2017112612 hasRelatedWork W2383986235 @default.
- W2017112612 hasRelatedWork W2477517397 @default.
- W2017112612 hasRelatedWork W2616961729 @default.
- W2017112612 hasRelatedWork W2963260880 @default.
- W2017112612 hasRelatedWork W3154275865 @default.
- W2017112612 hasRelatedWork W4235581521 @default.
- W2017112612 hasRelatedWork W4237843922 @default.
- W2017112612 isParatext "false" @default.
- W2017112612 isRetracted "false" @default.
- W2017112612 magId "2017112612" @default.
- W2017112612 workType "article" @default.