Behavioural Types for Reliable Large-Scale Software Systems

  • Hildebrandt, Thomas (CoI)

    Project: Research

    Project Details

    Description

    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.
    AcronymBETTY
    StatusFinished
    Effective start/end date01/08/201230/06/2015

    Funding

    • European Commission

    Fingerprint

    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.