Objetivo I Research Objectives and Content The main goal of this project is to show the utility of Game Semantics, a recent and very promising framework for describing the semantics of programming languages. as a formal basis for static program analysis, a technique consisting in determining the properties of programs before ever running them, used e.g. to enable optimizations in compiler technology. The techniques currently considered are (i) approximation of programs as terms in process calculi; (ii) the description of behavioural properties as modal u-calculus propositions,(iii) the use of general purpose modelchecking tools, and (iv) the use of type-based analysis techniques Training Content Edinburgh University is an exceptional research centre in the areas of formal semantics for programming languages. process calculi and model-checking, and Category Theory Furthermore, there are strong links with Imperial College. London. where groups are interested in static analysis Furthering my knowledge of these areas will cornplement nicely my background from the Ecole Normale Superieure and the University of Bologna which is mainly in Semantics and static analysis. Links with industry / industrial relevance (22) Ámbito científico natural sciencescomputer and information sciencessoftware Programa(s) FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998 Tema(s) 0302 - Post-doctoral research training grants TM29 - Software Engineering Convocatoria de propuestas Data not available Régimen de financiación RGI - Research grants (individual fellowships) Coordinador University of Edinburgh Aportación de la UE Sin datos Dirección EH9 3JZ Edinburgh Reino Unido Ver en el mapa Coste total Sin datos Participantes (1) Ordenar alfabéticamente Ordenar por aportación de la UE Ampliar todo Contraer todo Not available Francia Aportación de la UE Sin datos Dirección Ver en el mapa Coste total Sin datos
