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

Project Information

Grant agreement ID: FMBI983504

Project closed

Start date 1 December 1998

End date 31 May 2000

Funded under

• Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Total cost No data

EU contribution No data

Coordinated by

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA
France

Objective

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.

Fields of science

Not validated

• engineering and technology › electrical engineering, electronic engineering, information engineering › information engineering › telecommunications

Programme(s)

• FP4-TMR - Specific research and technological development programme in the field of the training and mobility of researchers, 1994-1998

Topic(s)

• 0301 - Post-graduate research training grants

Call for proposal

Data not available

Funding Scheme

Data not available

Coordinator

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA

• EU contribution: No data
• Address: Route des Lucioles 2004 ; 06902 SOPHIA ANTIPOLIS ; France
• Total cost: No data