Organization of this paper

This paper is structured as follows. In section 2, we give a general overview of Prop and its programming features. In section 3 we describe the implementation of the translator. And finally, in section we describe the runtime system of the language.