Using Haskell to Implement Syntactic Control of Interference
Loading...
Authors
Warren, Jared
Date
2008-06-11T18:24:55Z
Type
thesis
Language
eng
Keyword
programming , type system , interference , haskell , embedding , definitional interpreter , denotational semantics , domain-specific language , imperative , functional
Alternative Title
Abstract
Interference makes reasoning about imperative programs difficult but it can be controlled syntactically by a language's type system, such as Syntactic Control of Interference (SCI). Haskell is a purely-functional, statically-typed language with a rich type system including algebraic datatypes and type classes. It is popular as a defining language for definitional interpreters of domain-specific languages, making it an ideal candidate for implementation of definitional interpreters for SCI and Syntactic Control of Interference Revisited (SCIR), a variant that improves on SCI. Inference rules and denotational semantics functions are presented for PCF, IA, SCI, and SCIR. An extension to Haskell98 is used to define Haskell functions for those languages' semantics and to define type constructions to statically check their syntax. The results in applied programming language theory demonstrate the suitability and techniques of Haskell for definitional interpretation of languages with rich type systems.
Description
Thesis (Master, Computing) -- Queen's University, 2008-06-10 21:23:33.291
Citation
Publisher
License
This publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.