Using Haskell to Implement Syntactic Control of Interference

dc.contributor.authorWarren, Jareden
dc.contributor.departmentComputingen
dc.contributor.supervisorTennent, Roberten
dc.date2008-06-10 21:23:33.291
dc.date.accessioned2008-06-11T18:24:55Z
dc.date.available2008-06-11T18:24:55Z
dc.date.issued2008-06-11T18:24:55Z
dc.degree.grantorQueen's University at Kingstonen
dc.descriptionThesis (Master, Computing) -- Queen's University, 2008-06-10 21:23:33.291en
dc.description.abstractInterference 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.description.degreeM.Sc.en
dc.format.extent618458 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/1974/1237
dc.language.isoengen
dc.relation.ispartofseriesCanadian thesesen
dc.rightsThis 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.subjectprogrammingen
dc.subjecttype systemen
dc.subjectinterferenceen
dc.subjecthaskellen
dc.subjectembeddingen
dc.subjectdefinitional interpreteren
dc.subjectdenotational semanticsen
dc.subjectdomain-specific languageen
dc.subjectimperativeen
dc.subjectfunctionalen
dc.titleUsing Haskell to Implement Syntactic Control of Interferenceen
dc.typethesisen
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
warren_jared_200806_msc.pdf
Size:
603.96 KB
Format:
Adobe Portable Document Format