- document
-
Vergu, V. (author), Neron, P. (author), Visser, E. (author)The formal definition the semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of...report 2015
- document
-
Van Deursen, A. (author), Mesbah, A. (author), Cornelissen, B. (author), Zaidman, A. (author), Pinzger, M. (author), Guzzi, A. (author)In practice, many people have to work together to develop and maintain a software system. However, the programmer’s key tool, the Integrated Development Environment (IDE), is a solo-tool, serving to help individual programmers understand and modify the system. Such an IDE does not leverage the knowledge other team members may have of the design...report 2010