Registered user since Mon 22 Jun 2015
His research in semantics stretches back to Strachey’s Programming Research Group at Oxford in the early 1970s, where he contributed to the development of denotational semantics, and implemented SIS, a system for running programs based on their semantics. He was based at Aarhus University, Denmark, from 1976 to 2004.
The main focus of his research has been on pragmatic aspects of formal specifications – especially modularity. This led to the development of action semantics, MSOS (a modular variant of structural operational semantics) and component-based semantics. He is a principal investigator in the PLanCompS project (Programming Language Components and Specifications), He was also the initial coordinator of CoFI, the Common Framework Initiative, which designed the algebraic specification language CASL.
- Author of Welcome within the Eelco Visser Commemorative Symposium-track
- Author of Using Spoofax to Support Online Code Navigation within the Eelco Visser Commemorative Symposium-track
- Organizing Chair in Programme and Organising Committee within the Eelco Visser Commemorative Symposium-track
- Organizing Chair in Local Organisation Committee within the Eelco Visser Commemorative Symposium-track
- Author of Tool Support for Component-Based Semantics (second presentation) within the Demos & Posters-track
- Author of Tool Support for Component-Based Semantics within the Demos & Posters-track
- Committee Member in Program Committee within the Research Results-track
- Session Chair of Modularity Mechanisms (part of Modularity Visions)