Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/9913
Title: | A Generative Approach to Meshing Geometry |
Authors: | Elsheikh, Mustafa |
Advisor: | Carette, Jacques Smith, Spencer |
Department: | Software Engineering |
Keywords: | Software Engineering;Software Engineering |
Publication Date: | Sep-2010 |
Abstract: | <p>This thesis presents the design and implementation of a generative geometric kernel suitable for supporting a family of mesh generation programs. The kernel is designed as a program generator which is generic, parametric, type-safe. and maintainable. The generator can generate specialized code that has minimal traces of the design abstractions. We achieve genericity, understandability, and maintainability in the generator by a layered design that adopts its concepts from the affine geometry domain. We achieve parametricity and type-safety by using MetaOCaml's module system and its support for higher order modules. The cost of adopting natural domain abstractions is reduced by combining MetaOCaml's support for multi-stage programming with the technique of abstract interpretation.</p> |
URI: | http://hdl.handle.net/11375/9913 |
Identifier: | opendissertations/4992 6013 2078911 |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
fulltext.pdf | 34.78 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.