|Sat 6 - Thu 11 April 2019, Prague, Czech Republic|
BEHAPI 2019 with ETAPS 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 adaptat ...