Abstract
AbstractSolid modelling using constructive solid geometry (CSG) includes many examples of stylised divide-and-conquer algorithms. We identify the sources of these recurrent patterns and describe a Geometric Evaluation Library (GEL) which captures them as higher-order functions. This library then becomes the basis of developing CSG applications quickly and concisely. GEL is currently implemented as a set of separately compiled modules in the pure functional language Hope+. We evaluate our work in terms of performance and general applicability. We also assess the benefits of the functional paradigm in this domain and the merits of programming with a set of higher-order functions.
Publisher
Cambridge University Press (CUP)
Reference46 articles.
1. Tilove R. B. (1981) Exploiting Spatial and Structural Locality in Geometric Modelling. PhD thesis, University of Rochester.
2. Set Membership Classification: A Unified Approach to Geometric Intersection Problems
3. The versatility of automatic mesh generators based on tree structures and advanced geometric constructs
4. Shamos M. I. (1977) Computational Geometry, PhD thesis, Yale University.