ATTENTION: The software behind KU ScholarWorks is being upgraded to a new version. Starting July 15th, users will not be able to log in to the system, add items, nor make any changes until the new version is in place at the end of July. Searching for articles and opening files will continue to work while the system is being updated.
If you have any questions, please contact Marianne Reed at mreed@ku.edu .
Type Directed Specification Refinement
dc.contributor.advisor | Alexander, Warren P | |
dc.contributor.author | Snyder, Mark Huntington | |
dc.date.accessioned | 2011-10-09T14:36:32Z | |
dc.date.available | 2011-10-09T14:36:32Z | |
dc.date.issued | 2011-08-31 | |
dc.date.submitted | 2011 | |
dc.identifier.other | http://dissertations.umi.com/ku:11701 | |
dc.identifier.uri | http://hdl.handle.net/1808/8184 | |
dc.description.abstract | Specification languages serve a fundamentally different purpose than general-purpose programming languages, and their type systems reflect these needs. Specification type systems must record and track more information for us to reason about a system adequately, and this added expressiveness may lead to an undecidable typing analysis. System level design begins with a high-level specification that is continually refined and expanded with implementation details, constraints, and typing information, down to a concrete specification. During this refinement process, the system is underspecified, and many static analyses aren't applicable until the system is fully specified. However, partial specifications contain valuable information that can inform the refinement process--we can locally inspect parts of the specification from a typing perspective to look for inferrable information or inconsistencies early on to aid the refinement process. This work defines a typing analysis that gathers constraints and typing information to inform the specification refinement process. It explores localized techniques such as local type inference and tracking of values as a means of influencing the specification refinement process. | |
dc.format.extent | 152 pages | |
dc.language.iso | en | |
dc.publisher | University of Kansas | |
dc.rights | This item is protected by copyright and unless otherwise specified the copyright of this thesis/dissertation is held by the author. | |
dc.subject | Computer science | |
dc.subject | Dependent typing | |
dc.subject | Rosetta | |
dc.subject | Specification language | |
dc.subject | Typing analysis | |
dc.title | Type Directed Specification Refinement | |
dc.type | Dissertation | |
dc.contributor.cmtemember | Alexander, Warren P | |
dc.contributor.cmtemember | Gill, Andrew | |
dc.contributor.cmtemember | Kinnersley, Nancy | |
dc.contributor.cmtemember | Kulkarni, Prasad | |
dc.contributor.cmtemember | Martin, Jeremy | |
dc.thesis.degreeDiscipline | Electrical Engineering & Computer Science | |
dc.thesis.degreeLevel | Ph.D. | |
kusw.oastatus | na | |
kusw.oapolicy | This item does not meet KU Open Access policy criteria. | |
kusw.bibid | 7643050 | |
dc.rights.accessrights | openAccess |
Files in this item
This item appears in the following Collection(s)
-
Dissertations [4889]
-
Engineering Dissertations and Theses [1055]