Language specification using funcons
Date: Wed, October 17, 2018
Room: COLLOQUIUMZAAL 0.E420
CBS is a component-based semantic framework that aims to facilitate and encourage formal specification of programming languages. The main idea is to specify the intended behaviour of language constructs by translating them to so-called ‘funcons’: fundamental constructs for expressing control flow, data flow, binding, storing, interaction, function abstraction, etc. The definition of a funcon is a highly reusable component of language specifications. The beta-release of an initial library of funcons is available online [https://plancomps.github.io/CBS-beta]. This talk starts by introducing CBS and the funcons library. It then explains the current tool support for CBS, which has been partly implemented in Spoofax.
Eelco Visser | Abstractions for Transformations
Next: Jasper Denkers | Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)