Export Citations
1 Results for: Keyword: Positivstellensaetze
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,802,301 records)|Limit your search to The ACM Full-Text Collection (771,862 records)
Select All
- research-articleJune 2020
Polynomial invariant generation for non-deterministic recursive programs
PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and ImplementationPages 672–687https://doi.org/10.1145/3385412.3385969We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial inequalities. We present a sound and semi-complete method based on ...
