Abstract: Within the xMech project we intend to marry prooftools and
compilers. For both compilers and prooftools semantics for the language
considered are needed. These semantics can be quite unwieldy, and changing
one part of the semantics may mean changing it entirely. Better
modularisation is needed. This talk will highlight some ways of modularising
the semantics of a language, both as it is done in the literature and as
we approach it currently in the xMech project.
Bio: Arthur is one of those silly bastards that after doing his master's
starts off in industry, where he played editor for `c't Magazine voor
Computertechniek' for a while and frolicked with Linux systems for a
bit more. He ended up back in academia due to an inescapable urge to
learn and play with programming languages.