We present a system for the inference of various static properties from source code
written in the Maple programming language. We make use of an abstract interpretation
framework in the design of these properties and define languages of constraints specific to our abstract domains which capture the desired static properties of the code. Finally we discuss the automated generation and solution of these constraints, describe a tool for doing
so, and present some results from applying this tool to several nontrivial test inputs. / Thesis / Master of Science (MSc)
| Identifer | oai:union.ndltd.org:mcmaster.ca/oai:macsphere.mcmaster.ca:11375/21264 |
| Date | 24 September 2017 |
| Creators | Forrest, Stephen A. |
| Contributors | Carette, Jacques, Computing and Software |
| Source Sets | McMaster University |
| Language | en_US |
| Detected Language | English |
| Type | Thesis |
Page generated in 0.0023 seconds