The Design and Implementation of the Tako Language and Compiler

Simple item page
dc.contributor.authorVasudeo, Jyotindraen
dc.contributor.committeechairKulczycki, Gregory W.en
dc.contributor.committeememberFrakes, William B.en
dc.contributor.committeememberChen, Ing-Rayen
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2014-03-14T20:38:34Zen
dc.date.adate2006-12-14en
dc.date.available2014-03-14T20:38:34Zen
dc.date.issued2006-05-05en
dc.date.rdate2006-12-14en
dc.date.sdate2006-05-25en
dc.description.abstractAliasing complicates both formal and informal reasoning and is a particular problem in object-oriented languages, where variables denote references to objects rather than object values. Researchers have proposed various approaches to the aliasing problem in object-oriented languages, but all use reference semantics to reason about programs. This thesis describes the design and implementation of Tako—a Java-like language that facilitates value semantics by incorporating alias-avoidance. The thesis describes a non-trivial application developed in the Tako language and discusses some of the object-oriented programming paradigm shifts involved in translating that application from Java to Tako. It introduces a proof rule for procedure calls that uses value semantics and accounts for both repeated arguments and subtyping.en
dc.description.degreeMaster of Scienceen
dc.identifier.otheretd-05252006-171343en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-05252006-171343/en
dc.identifier.urihttp://hdl.handle.net/10919/33228en
dc.publisherVirginia Techen
dc.relation.haspartThesis_Jyotindra_Vasudeo_2006_v1.2.pdfen
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectLanguage Designen
dc.subjectAliasingen
dc.subjectTakoen
dc.subjectJavaen
dc.subjectFormal Reasoningen
dc.subjectCompilersen
dc.titleThe Design and Implementation of the Tako Language and Compileren
dc.typeThesisen
thesis.degree.disciplineComputer Scienceen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Thesis_Jyotindra_Vasudeo_2006_v1.2.pdf
Size:
732.29 KB
Format:
Adobe Portable Document Format
Download

Collections

Masters Theses