| dc.contributor.author | Warren, Jared | en |
| dc.date | 2008-06-10 21:23:33.291 | |
| dc.date.accessioned | 2008-06-11T18:24:55Z | |
| dc.date.available | 2008-06-11T18:24:55Z | |
| dc.date.issued | 2008-06-11T18:24:55Z | |
| dc.identifier.uri | http://hdl.handle.net/1974/1237 | |
| dc.description | Thesis (Master, Computing) -- Queen's University, 2008-06-10 21:23:33.291 | en |
| dc.description.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. | en |
| dc.format.extent | 618458 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | eng | en |
| dc.relation.ispartofseries | Canadian theses | en |
| dc.rights | 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. | en |
| dc.subject | programming | en |
| dc.subject | type system | en |
| dc.subject | interference | en |
| dc.subject | haskell | en |
| dc.subject | embedding | en |
| dc.subject | definitional interpreter | en |
| dc.subject | denotational semantics | en |
| dc.subject | domain-specific language | en |
| dc.subject | imperative | en |
| dc.subject | functional | en |
| dc.title | Using Haskell to Implement Syntactic Control of Interference | en |
| dc.type | thesis | en |
| dc.description.degree | M.Sc. | en |
| dc.contributor.supervisor | Tennent, Robert | en |
| dc.contributor.department | Computing | en |
| dc.degree.grantor | Queen's University at Kingston | en |
