A general theory of 'well-behaved' operational semantics

Objective

Research objectives and content
The aim of this project is to formulate a mathematical theory of 'well behaved' operational semantics, complementing the established theory of domains and denotational semantics to form a coherent whole. The project is based on the categorical approach to operational semantics introduced in my thesis, which builds on G. Plotkin's (Edinburgh University) structural operational semantics - today's predominant approach to operational semantics and a fundamental tool for language design and verification.
Training content (objective, benefit and expected impact)
I will continue my extremely fruitful collaboration with Prof Gordon Plotkin , - one of the world's leading researchers in semantics - and his group, profiting from their exceptional experience m the field. I will also profit from / contacts with Prof Samson Abramsky's group. Links with industry / industrial relevance (22)
This is a theoretical project, but, just like structural operational semantics is a fundamental tool for language design and verification, we expect this project will have a direct practical impact, eg, in modular compiler development technology.

Programme(s)

• FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Topic(s)

• 0302 - Post-doctoral research training grants
• TM26 - Logic and Semantics

Call for proposal

Data not available

Funding Scheme

RGI - Research grants (individual fellowships)

Coordinator

University of Edinburgh

Address

Mayfield Road
EH9 3JZ Edinburgh
United Kingdom

Participants (1)

Not available

Italy