Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/21260
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Carette, Jacques | - |
dc.contributor.author | Kucera, Michael | - |
dc.date.accessioned | 2017-03-29T15:29:56Z | - |
dc.date.available | 2017-03-29T15:29:56Z | - |
dc.date.issued | 2006-05-24 | - |
dc.identifier.uri | http://hdl.handle.net/11375/21260 | - |
dc.description.abstract | <p> Partial Evaluation (PE) is a program transformation technique that generates a specialized version of a program with respect to a subset of its inputs. PE is an automatic approach to program generation and meta-programming. This thesis presents a method of partially evaluating Maple programs using a fully online methodology.</p> <p> We present an implementation called MapleMIX, and use it towards two goals. Firstly we show how MapleMIX can be used to generate optimized versions of generic programs written in Maple. Secondly we use MapleMIX to mine symbolic computation code for residual theorems, which we present as precise solutions to parametric problems encountered in Computer Algebra Systems.</p> <p> The implementation of MapleMIX has been modularized using a high-level intermediate language called M-form. Several syntax transformations from Maple to M-form make it an ideal representation for performing program specialization. Many specialization techniques have been explored including a novel online approach to handle partially-static data structures and an on-the-fly syntax transformation technique that propagates loop context into the body of dynamic conditionals.</p> | en_US |
dc.language.iso | en_US | en_US |
dc.subject | partial evaluation, maple programs, computer algebra systems | en_US |
dc.title | Partial Evaluation of Maple Programs | en_US |
dc.type | Thesis | en_US |
dc.contributor.department | Computing and Software | en_US |
dc.description.degreetype | Thesis | en_US |
dc.description.degree | Master of Science (MSc) | en_US |
Appears in Collections: | Digitized Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Kucera_Michael_2006May_Masters..pdf | 3.6 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.