Tight Worst-Case Bounds for Polynomial Loop Programs
You are here
Title | Tight Worst-Case Bounds for Polynomial Loop Programs |
Publication Type | Conference Paper |
Year of Publication | 2019 |
Authors | Ben-Amram A.M, Hamilton G.W |
Conference Name | International Conference on Foundations of Software Science and Computation Structures |
Date Published | April |
Conference Location | Czech Republic |
URL | https://link.springer.com/book/10.1007/978-3-030-17127-8 |
DOI | 10.1007/978-3-030-17127-8 |