Protocol Programmability


Application Programming Interfaces (APIs) often define protocols— restrictions on the order of client calls to API methods. API protocols are common and difficult to follow, which has generated tremendous research into the specification and verification of protocols. However, verification techniques do little to alleviate several major challenges… (More)


30 Figures and Tables