Show simple item record

dc.creatorBlount, Jarred
dc.date.available2014-03-23T21:38:20Z
dc.date.issued2013-08
dc.identifier.urihttp://hdl.handle.net/2346/58416
dc.description.abstractThis work develops the Language of Effective Definition (LED), a functional programming language. The syntax, semantics, and type system are defined. This work defines a small-step reduction semantic for LED, so that an approach that is commonly used the type system community could be used to prove the main theorem. A static type system is defined and implemented for LED. The type system requires explicit type declarations, and allows polymorphic functions such as map and fold to be defined checked by the type system. Additionally, type rules which allow programmers to create their own data types are supported. The main theorem of this work is that LED is type safe under the type system described. Intuitively, a language type safe, if its type system can be used to guarantee that a certain errors called a run-time type errors will not occur during evaluation. The practical advantages of a static type are that errors can be detected and corrected as early as possible in development.
dc.format.mimetypeapplication/pdf
dc.language.isoeng
dc.subjectStatic type system
dc.subjectProgramming language
dc.subjectType safety
dc.titleA type system for the language of effective definitions (LED)
dc.typeDissertation
thesis.degree.nameDoctor of Philosophy
thesis.degree.levelDoctoral
thesis.degree.disciplineComputer Science
thesis.degree.grantorTexas Tech University
thesis.degree.departmentComputer Science
dc.contributor.committeeMemberGelfond, Michael
dc.contributor.committeeMemberSridharan, Mohan
dc.contributor.committeeChairRushton, J. Nelson
dc.rights.availabilityUnrestricted.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record