Show simple item record

dc.creatorYoung, Joseph G.
dc.date.accessioned 2009-06-03T19:51:53Z
dc.date.available 2009-06-03T19:51:53Z
dc.date.issued 2008
dc.identifier.urihttp://hdl.handle.net/1911/22230
dc.description.abstract Over 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.
dc.format.extent 208 p.
dc.format.mimetype application/pdf
dc.language.iso eng
dc.subjectMathematics
Operations research
Computer science
dc.title Program analysis and transformation in mathematical programming
dc.type.genre Thesis
dc.type.material Text
thesis.degree.department Computer Science
thesis.degree.discipline Engineering
thesis.degree.grantor Rice University
thesis.degree.level Doctoral
thesis.degree.name Doctor of Philosophy
dc.identifier.citation Young, Joseph G.. "Program analysis and transformation in mathematical programming." (2008) PhD diss., Rice University. http://hdl.handle.net/1911/22230.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record