A general theory of 'well-behaved' operational semantics
4РП — Обучение и мобилност на изследователи
- Период
- 1997-03-16 → 1999-03-15
- Финансиране от ЕС
- —
- Участници
- 2
- Схема
- RGI
Линиите свързват координатора с партньорите. За проекти отпреди 2014 г. CORDIS не винаги дава точни координати. Тези точки са на ниво град или държава.
Накратко на български
Математическата теория на оперативната семантика изследва правилата, по които работят езиците за програмиране. Това помага за по-сигурното проектиране на софтуер и подобрява технологиите за създаване на компилатори.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
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.
Оригинален текст от CORDIS (на английски).
Участници
- UNIVERSITY OF EDINBURGH · EDINBURGHКоординаторОбединеното кралство
- Not availableНиво градИталия
Връзки
Данни: CORDIS, © Европейски съюз