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