Behavioural Types for Reliable Large-Scale Software Systems

  • Hildebrandt, Thomas (CoI)

Projekter: ProjektForskning

Projektdetaljer

Beskrivelse

This Action will use behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. As a unifying structural principle it will transform the theory and practice of distributed software development.
AkronymBETTY
StatusAfsluttet
Effektiv start/slut dato01/08/201230/06/2015

Fingerprint

Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.