Programming Languages (WP1)

WP1 Intranet

In this work package we investigate state of the art abstraction techniques in programming language technology to map abstract and high level models onto executable models. The focus of this work package is the composition of such models, where we approach the composition both from a hierarchical and aspectual perspective. In the past year the members of the WP1 consortium worked concurrently on three topics.

• TOPIC 1: Genericity in aspect languages
• TOPIC 2: Domain specificity in composition languages
• TOPIC 3: Verification of compositions}

VUB, KUL, UCL, ULB, INRIA