Virtual Reality is becoming more than a part of our everyday life, helping us to identify quickly the elements of the environment or to better entertain us. The purpose of this paper is to present an application framework that we are developing, in order to help others implement their own applications. In the first section the focus is set on the Augmented Reality basic concepts and the necessity of developing such a framework. The prototype that we present in the second part of this paper comes to demonstrate how our framework can be used to achieve our targeted application for Augmented Reality. It also contains some future works to highlight the capabilities of the AR API.

This paper serves as a brief introduction to the K tool, a system for formally defining programming languages. It is shown how sequential or concurrent languages can be defined in K simply and modularly. These formal definitions automatically yield an interpreter for the language, as well as program analysis tools such as a state-space explorer