BEHAPI 2019 - Workshop on Behavioural APIs (BEHAPI 2019)

APIs are software interfaces describing the services, functions or procedures offered by a software component to other components. Behavioural Types are a suite of technologies that elevate flat API descriptions to graph structures describing the intended order of usage. This permits automated analyses for correct API compositions to provide guarantees such as service compliance, deadlock freedom, dynamic adaptation in the presence of failure and load balancing. The BehAPI project aims to bring the existing prototype tools based on these technologies to mainstream programming languages and other API-based technologies.
This workshop will present ongoing research on behavioural types to assist the development of correct protocol-based systems in the large, by members of the project and by other researchers working in the area.
Organizers: Laura Bocchi, Adrian Francalanza, Hernan Melgratti, Luca Padovani, Antonio Ravara, Emilio Tuosto