Show simple item record

dc.contributor.authorVasudeo, Jyotindraen_US
dc.date.accessioned2014-03-14T20:38:34Z
dc.date.available2014-03-14T20:38:34Z
dc.date.issued2006-05-05en_US
dc.identifier.otheretd-05252006-171343en_US
dc.identifier.urihttp://hdl.handle.net/10919/33228
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_US
dc.publisherVirginia Techen_US
dc.relation.haspartThesis_Jyotindra_Vasudeo_2006_v1.2.pdfen_US
dc.rightsI hereby certify that, if appropriate, I have obtained and attached hereto a written permission statement from the owner(s) of each third party copyrighted matter to be included in my thesis, dissertation, or project report, allowing distribution as specified below. I certify that the version I submitted is the same as that approved by my advisory committee. I hereby grant to Virginia Tech or its agents the non-exclusive license to archive and make accessible, under the conditions specified below, my thesis, dissertation, or project report in whole or in part in all forms of media, now or hereafter known. I retain all other ownership rights to the copyright of the thesis, dissertation or project report. I also retain the right to use in future works (such as articles or books) all or part of this thesis, dissertation, or project report.en_US
dc.subjectLanguage Designen_US
dc.subjectAliasingen_US
dc.subjectTakoen_US
dc.subjectJavaen_US
dc.subjectFormal Reasoningen_US
dc.subjectCompilersen_US
dc.titleThe Design and Implementation of the Tako Language and Compileren_US
dc.typeThesisen_US
dc.contributor.departmentComputer Scienceen_US
dc.description.degreeMaster of Scienceen_US
thesis.degree.nameMaster of Scienceen_US
thesis.degree.levelmastersen_US
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen_US
thesis.degree.disciplineComputer Scienceen_US
dc.contributor.committeechairKulczycki, Gregory W.en_US
dc.contributor.committeememberFrakes, William B.en_US
dc.contributor.committeememberChen, Ing-Rayen_US
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-05252006-171343/en_US
dc.date.sdate2006-05-25en_US
dc.date.rdate2006-12-14
dc.date.adate2006-12-14en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record