Abstract | ||
---|---|---|
A program checker verifies that a particular program execution is correct. We give simple and efficient program checkers for some basic geometric tasks. We report about our experiences with program checking in the context of the LEDA system. We discuss program checking for data structures that have to rely on user-provided functions. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1016/S0925-7721(98)00036-4 | Symposium on Computational Geometry 2013 |
Keywords | DocType | Volume |
geometric program,geometric structure | Journal | 12 |
Issue | ISSN | Citations |
1 | 0925-7721 | 27 |
PageRank | References | Authors |
2.47 | 13 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kurt Mehlhorn | 1 | 5314 | 853.36 |
Stefan Näher | 2 | 961 | 146.99 |
Thomas Schilz | 3 | 27 | 2.47 |
Stefan Schirra | 4 | 509 | 70.29 |
Michael Seel | 5 | 107 | 7.75 |
Raimund Seidel | 6 | 27 | 2.47 |
Christian Uhrig | 7 | 739 | 99.73 |