You are here:
(02 Sep 2010,
ComputingScienceColloquium Date: March 18 Time: 11:00 Room: Unnik Room 311 ----+++ Speaker: [[http://www.cs.uu.nl/staff/arthurvl.html][Arthur van Leeuwen]] ----+++ Title: Modular semantics ([[%ATTACHURL%/ModularSemantics.pdf][Slides in pdf]]) ----+++ Abstract 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.
ore topic actions
Topic revision: r4 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?