Now showing items 1-6 of 6

    • Tang, Xiaolong (2013-08-08)
      Production compilers implement optimizing transformation rules for built-in types. What justifies applying these optimizing rules is the axioms that hold for built-in types and the built-in operations supported by these ...
    • Potter, Christopher Steven (2015-12-07)
      In this thesis four different computer programming languages, C++, Python, Processing, and Pixar's RenderMan©, were used to realize four different rendering programs. The goal was to identify the main challenges in ...
    • Aditya Kumar, - (2012-12-04)
      As we migrate software to new versions of programming languages, we would like to improve the style of its design and implementation by replacing brittle idioms and abstractions with the more robust features of the language ...
    • Jacobs, Samson Ade (2014-04-29)
      Motion planning is defined as the problem of finding a valid path taking a robot (or any movable object) from a given start configuration to a goal configuration in an environment. While motion planning has its roots in ...
    • Solodkyy, Yuriy (2013-08-14)
      Based on our experience of working with different C++ front ends, this thesis identifies numerous problems that complicate the analysis of C++ programs along the entire spectrum of analysis applications. We utilize ...
    • Wagner, Luke A. (2010-01-14)
      To work effectively, programmers need tools to support their typical development activities, such as the creation, analysis, and transformation of source code. Analysis and transformation tools can be difficult to write ...