Language specification using funcons

Peter Mosses


Date: Wed, October 17, 2018
Time: 12:00
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.

Previous: Eelco Visser |
Next: Jasper Denkers |