Title page for ETD etd-05252006-171343


Type of Document Master's Thesis
Author Vasudeo, Jyotindra
Author's Email Address vasudeo@vt.edu
URN etd-05252006-171343
Title The Design and Implementation of the Tako Language and Compiler
Degree Master of Science
Department Computer Science
Advisory Committee
Advisor Name Title
Kulczycki, Gregory W. Committee Chair
Chen, Ing-Ray Committee Member
Frakes, William B. Committee Member
Keywords
  • Language Design
  • Aliasing
  • Tako
  • Java
  • Formal Reasoning
  • Compilers
Date of Defense 2006-05-05
Availability unrestricted
Abstract
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.
Files
  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  Thesis_Jyotindra_Vasudeo_2006_v1.2.pdf 749.86 Kb 00:03:28 00:01:47 00:01:33 00:00:46 00:00:03

Browse All Available ETDs by ( Author | Department )

dla home
etds imagebase journals news ereserve special collections
virgnia tech home contact dla university libraries

If you have questions or technical problems, please Contact DLA.