Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300995093> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4300995093 abstract "Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al. that combines real algebraic geometry and SDP optimization in synthesis of polynomial interpolants, the current paper contributes its enhancement that yields sharper and simpler interpolants. The enhancement is made possible by: theoretical observations in real algebraic geometry; and our continued fraction-based algorithm that rounds off (potentially erroneous) numerical solutions of SDP solvers. Experiment results support our tool's effectiveness; we also demonstrate the benefit of sharp and simple interpolants in program verification examples." @default.
- W4300995093 created "2022-10-04" @default.
- W4300995093 creator A5013382452 @default.
- W4300995093 creator A5027207215 @default.
- W4300995093 creator A5040490999 @default.
- W4300995093 creator A5064121410 @default.
- W4300995093 creator A5072920169 @default.
- W4300995093 creator A5091644747 @default.
- W4300995093 date "2017-09-01" @default.
- W4300995093 modified "2023-09-26" @default.
- W4300995093 title "Sharper and Simpler Nonlinear Interpolants for Program Verification" @default.
- W4300995093 doi "https://doi.org/10.48550/arxiv.1709.00314" @default.
- W4300995093 hasPublicationYear "2017" @default.
- W4300995093 type Work @default.
- W4300995093 citedByCount "0" @default.
- W4300995093 crossrefType "posted-content" @default.
- W4300995093 hasAuthorship W4300995093A5013382452 @default.
- W4300995093 hasAuthorship W4300995093A5027207215 @default.
- W4300995093 hasAuthorship W4300995093A5040490999 @default.
- W4300995093 hasAuthorship W4300995093A5064121410 @default.
- W4300995093 hasAuthorship W4300995093A5072920169 @default.
- W4300995093 hasAuthorship W4300995093A5091644747 @default.
- W4300995093 hasBestOaLocation W43009950931 @default.
- W4300995093 hasConcept C104114177 @default.
- W4300995093 hasConcept C111472728 @default.
- W4300995093 hasConcept C11413529 @default.
- W4300995093 hasConcept C121332964 @default.
- W4300995093 hasConcept C126255220 @default.
- W4300995093 hasConcept C134306372 @default.
- W4300995093 hasConcept C136119220 @default.
- W4300995093 hasConcept C137800194 @default.
- W4300995093 hasConcept C138885662 @default.
- W4300995093 hasConcept C149629883 @default.
- W4300995093 hasConcept C154945302 @default.
- W4300995093 hasConcept C158622935 @default.
- W4300995093 hasConcept C171836373 @default.
- W4300995093 hasConcept C178790620 @default.
- W4300995093 hasConcept C185592680 @default.
- W4300995093 hasConcept C190470478 @default.
- W4300995093 hasConcept C202444582 @default.
- W4300995093 hasConcept C2780586882 @default.
- W4300995093 hasConcept C28826006 @default.
- W4300995093 hasConcept C33923547 @default.
- W4300995093 hasConcept C37914503 @default.
- W4300995093 hasConcept C41008148 @default.
- W4300995093 hasConcept C62520636 @default.
- W4300995093 hasConcept C88080468 @default.
- W4300995093 hasConcept C90119067 @default.
- W4300995093 hasConcept C9376300 @default.
- W4300995093 hasConceptScore W4300995093C104114177 @default.
- W4300995093 hasConceptScore W4300995093C111472728 @default.
- W4300995093 hasConceptScore W4300995093C11413529 @default.
- W4300995093 hasConceptScore W4300995093C121332964 @default.
- W4300995093 hasConceptScore W4300995093C126255220 @default.
- W4300995093 hasConceptScore W4300995093C134306372 @default.
- W4300995093 hasConceptScore W4300995093C136119220 @default.
- W4300995093 hasConceptScore W4300995093C137800194 @default.
- W4300995093 hasConceptScore W4300995093C138885662 @default.
- W4300995093 hasConceptScore W4300995093C149629883 @default.
- W4300995093 hasConceptScore W4300995093C154945302 @default.
- W4300995093 hasConceptScore W4300995093C158622935 @default.
- W4300995093 hasConceptScore W4300995093C171836373 @default.
- W4300995093 hasConceptScore W4300995093C178790620 @default.
- W4300995093 hasConceptScore W4300995093C185592680 @default.
- W4300995093 hasConceptScore W4300995093C190470478 @default.
- W4300995093 hasConceptScore W4300995093C202444582 @default.
- W4300995093 hasConceptScore W4300995093C2780586882 @default.
- W4300995093 hasConceptScore W4300995093C28826006 @default.
- W4300995093 hasConceptScore W4300995093C33923547 @default.
- W4300995093 hasConceptScore W4300995093C37914503 @default.
- W4300995093 hasConceptScore W4300995093C41008148 @default.
- W4300995093 hasConceptScore W4300995093C62520636 @default.
- W4300995093 hasConceptScore W4300995093C88080468 @default.
- W4300995093 hasConceptScore W4300995093C90119067 @default.
- W4300995093 hasConceptScore W4300995093C9376300 @default.
- W4300995093 hasLocation W43009950931 @default.
- W4300995093 hasOpenAccess W4300995093 @default.
- W4300995093 hasPrimaryLocation W43009950931 @default.
- W4300995093 hasRelatedWork W1658613672 @default.
- W4300995093 hasRelatedWork W1887191277 @default.
- W4300995093 hasRelatedWork W1944449767 @default.
- W4300995093 hasRelatedWork W2014990936 @default.
- W4300995093 hasRelatedWork W2058922891 @default.
- W4300995093 hasRelatedWork W2076063560 @default.
- W4300995093 hasRelatedWork W2374486435 @default.
- W4300995093 hasRelatedWork W2383239512 @default.
- W4300995093 hasRelatedWork W2534464871 @default.
- W4300995093 hasRelatedWork W2580644455 @default.
- W4300995093 isParatext "false" @default.
- W4300995093 isRetracted "false" @default.
- W4300995093 workType "article" @default.