Checking geometric programs or verification of geometric structures

Authors
Mehlhorn, K Naher, S Seel, M Seidel, R Schilz, T Schirra, S Uhrig, C
Citation
K. Mehlhorn et al., Checking geometric programs or verification of geometric structures, COMP GEOM, 12(1-2), 1999, pp. 85-103
Citations number
19
Categorie Soggetti
Engineering Mathematics
Journal title
COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS
ISSN journal
09257721 → ACNP
Volume
12
Issue
1-2
Year of publication
1999
Pages
85 - 103
Database
ISI
SICI code
0925-7721(199902)12:1-2<85:CGPOVO>2.0.ZU;2-Q
Abstract
A program checker verifies that a particular program execution is correct. We give simple and efficient program checkers for some basic geometric task s. 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. (C) 1999 Elsevier Science B.V. All righ ts reserved.