European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
Zawartość zarchiwizowana w dniu 2024-06-11

Type systems for object-oriented languages and their use in verification techniques

Cel



Research objectives and content: In the first part of the project we study static type systems for reasoning about concurrent systems. In the second part of our project we will apply our results to asynchronous calculi (when emission of message is non-blocking), beginning with the asynchronous pi-calculus. The objectives of the project are the following: Development of new mathematical tools and algebraic theories for proving properties of calculi for mobile processes; Transfers of the above tools and theories to some concurrent languages (Pict, Join, CML, ect); New type systems for languages for process mobility and for object-oriented languages. Training content (objective, benefit and expected impact) The goal is to acquire knowledge of the following crucial fields: Mobile systems Type systems Object-oriented languages Verification techniques Links with industry / industrial relevance (22) CNET (Centre National d'Etudes des Telecommunications) France Telecom is one of the most important European company in communication. The host institution has an established collaboration with CNET which is interested in the evolution of research on mobile systems.

Zaproszenie do składania wniosków

Data not available

System finansowania

Data not available

Koordynator

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA
Wkład UE
Brak danych
Adres
Route des Lucioles 2004
06902 SOPHIA ANTIPOLIS
Francja

Zobacz na mapie

Koszt całkowity
Brak danych