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]

@inproceedings{KechagiaS17,
  title = {Type Checking for Reliable APIs},
  author = {Maria Kechagia and Diomidis Spinellis},
  year = {2017},
  doi = {10.1109/WAPI.2017.5},
  url = {https://doi.org/10.1109/WAPI.2017.5},
  researchr = {https://researchr.org/publication/KechagiaS17},
  cites = {0},
  citedby = {0},
  pages = {15-18},
  booktitle = {1st IEEE/ACM International Workshop on API Usage and Evolution, WAPI@ICSE 2017, Buenos Aires, Argentina, May 23, 2017},
  publisher = {IEEE},
  isbn = {978-1-5386-2805-8},
}