Type Checking for Reliable APIs

Maria Kechagia, Diomidis Spinellis. Type Checking for Reliable APIs. In 1st IEEE/ACM International Workshop on API Usage and Evolution, WAPI@ICSE 2017, Buenos Aires, Argentina, May 23, 2017. pages 15-18, IEEE, 2017. [doi]

Abstract

Abstract is missing.