This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
Search
Skip to Search Results-
2003
Rudnicki, Piotr, Hoover, Jim, Hou, Daqing
Technical report TR03-22. Different program analyses require different information from the source code. For some applications, an AST (Abstract Syntax Tree) representation of the source may be sufficient. We want to be able to specify assertions on the structure of a program without mentioning...
-
2004
Hoover, Jim, Figueroa, Pablo, Boulanger, Pierre
Technical report TR04-06. In this document, we describe from different viewpoints our model for Virtual Reality applications. We give first an informal description of the basic concepts, the execution model, and some examples of modeling for devices, behaviors, and media content elements. Second,...