This report describes the languages defined to interface between various components which are developed within work-package 5. At a later point of time, these languages will also become visible to other components in other work-packages as well as to users of the authoring environment. Chapter 1 gives an introduction and relates the following chapters to each other. Ch. 2 describes the language...

interpretation, introduced in the late 1970’s [24] by P. Cousot and R. Cousot, is a framework of semantics approximation. We briefly review the major terminology of this theory. Informally, abstract interpretation aims to construct two different meanings for a programming language where the first gives the usual meaning of programs in the language, and the second can be used to answer certain q...