Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/21264
Title: | Property Inference for Maple: An Application of Abstract Interpretation |
Authors: | Forrest, Stephen A. |
Advisor: | Carette, Jacques |
Department: | Computing and Software |
Keywords: | property inference, Maple, abstract interpretation, source code, properties, constraints |
Publication Date: | 24-Sep-2017 |
Abstract: | 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. |
URI: | http://hdl.handle.net/11375/21264 |
Appears in Collections: | Digitized Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Forrest_Stephen_A._2007Sept_Masters..pdf | 3.41 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.