The Design and Implementation of the Tako Language and Compiler

Aliasing 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.

Name thesis:degree_name

Master of Science

Level thesis:degree_level

masters

Discipline thesis:degree_discipline

Computer Science

Department dc:contributor.department

Computer Science

Grantor dc:publisher

Virginia Tech

Year dc:date.issued

2006

Author dc:creator

• Vasudeo, Jyotindra

Chair dc:contributor.committeechair

• Kulczycki, Gregory W.

Committee members dc:contributor.committeemember

• Frakes, William B.
• Chen, Ing-Ray

• Language Design
• Aliasing
• Tako
• Java
• Formal Reasoning
• Compilers

Statement dc:rights

• In Copyright

Licence dc:rights.uri

• http://rightsstatements.org/vocab/InC/1.0/

Dc Identifier Other

etd-05252006-171343

OAI identifier oai:identifier

oai:vtechworks.lib.vt.edu:10919/33228