Checking Geometric Programs or Verification of Geometric Structures (1996)
by
Kurt Mehlhorn
,
Stefan Näher
,
Michael Seel
,
Raimund Seidel
,
Thomas Schilz
,
Stefan Schirra
,
Christian Uhrig
| Venue: | IN PROC. 12TH ANNU. ACM SYMPOS. COMPUT. GEOM |
| Citations: | 27 - 6 self |
BibTeX
@INPROCEEDINGS{Mehlhorn96checkinggeometric,
author = {Kurt Mehlhorn and Stefan Näher and Michael Seel and Raimund Seidel and Thomas Schilz and Stefan Schirra and Christian Uhrig},
title = {Checking Geometric Programs or Verification of Geometric Structures},
booktitle = {IN PROC. 12TH ANNU. ACM SYMPOS. COMPUT. GEOM},
year = {1996},
pages = {159--165},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
