Program analysis and transformation in mathematical programming

Simple item page
dc.creatorYoung, Joseph G.en_US
dc.date.accessioned2009-06-03T19:51:53Zen_US
dc.date.available2009-06-03T19:51:53Zen_US
dc.date.issued2008en_US
dc.description.abstractOver the years, mathematical models have become increasingly complex. Rarely can we accurately model a process using only linear or quadratic functions. Instead, we must employ complicated routines written in some programming language. At the same time, most algorithms rely on the ability to exploit structural features within a model. Thus, our ability to compute with a model directly relates to our ability to analyze it. Mathematical programs exemplify these difficult modeling issues. Our desire to accurately model a process is mediated by our ability to solve the resulting problem. Nonetheless, many problems contain hidden structural features that, when identified, allow us to transform the problem into a more computable form. Thus, we must develop methods that not only recognize these hidden features, but exploit them by transforming one problem formulation into another. We present a new domain specific language for mathematical programming. The goal of this language is to develop a system of techniques that allow us to automatically determine the structure of a problem then transform it into a more desirable form. Our technical contribution to this area includes the grammar, type system, and semantics of such a language. Then, we use these tools to develop a series of transformations that manipulate the mathematical model.en_US
dc.format.extent208 p.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.callnoTHESIS MATH.SCI. 2008 YOUNGen_US
dc.identifier.citationYoung, Joseph G.. "Program analysis and transformation in mathematical programming." (2008) Diss., Rice University. <a href="https://hdl.handle.net/1911/22230">https://hdl.handle.net/1911/22230</a>.en_US
dc.identifier.urihttps://hdl.handle.net/1911/22230en_US
dc.language.isoengen_US
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.en_US
dc.subjectMathematicsen_US
dc.subjectOperations researchen_US
dc.subjectComputer scienceen_US
dc.titleProgram analysis and transformation in mathematical programmingen_US
dc.typeThesisen_US
dc.type.materialTexten_US
thesis.degree.departmentMathematical Sciencesen_US
thesis.degree.disciplineEngineeringen_US
thesis.degree.grantorRice Universityen_US
thesis.degree.levelDoctoralen_US
thesis.degree.nameDoctor of Philosophyen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
3309993.PDF
Size:
5.7 MB
Format:
Adobe Portable Document Format
Download
Collections
Rice University Theses and Dissertations