A general theory of 'well-behaved' operational semantics

Lines connect the coordinator with its partners. CORDIS does not always give exact coordinates for projects before 2014. These points are placed at city or country level.

Project 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.

Original text from CORDIS.

Participants

• UNIVERSITY OF EDINBURGH · EDINBURGHCoordinatorUnited Kingdom
• Not availableCity levelItaly

Links

• View on CORDIS