SearchSkip to Search Results
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,...
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...