Proposta de dissertação do MEI Título: Behavioural Types in Object-Oriented Programming Languages Proponente(s): António Ravara Créditos: 42 ECTS Área científica: Software Construction and Analysis Início preferencial: Qualquer semestre URL: http://ctp.di.fct.unl.pt/~aravara/ Já estão em curso trabalhos preliminares executados pelo alunos: Breve descrição: Behavioural types are abstractions of the dynamic behaviour of components, specified by simple yet expressive languages, that characterise the permitted interaction within a distributed system. The key idea is that some aspects of dynamic behaviour can be verified statically, at compile-time rather than at run-time, by analysing the behavioural types of components. Behavioural type systems are thus able to ensure more than the usual safety guarantees of static program analyses. The goal of the thesis will be to develop and implement inference algorithms to extract from the code behavioural descriptions ensuring the absence of (most) run-time errors (including exceptions). Observações: Este trabalho insere-se num projecto mais vasto, com colaboração de investigadores da Universidade de Glasgow, R. U., contribuindo para a linguagem Mungo (http://www.dcs.gla.ac.uk/research/mungo/index.html).