2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.SE2019★ 2 cited
Inferring Concise Specifications of APIs
John L. Singleton, Gary T. Leavens, Hridesh Rajan +1
Modern software relies on libraries and uses them via application programming interfaces (APIs). Correct API usage as well as many software engineering tasks are enabled when APIs…
cs.PL2016
Polymorphic Type Inference for Machine Code
Matthew Noonan, Alexey Loginov, David Cok
For many compiled languages, source-level types are erased very early in the compilation process. As a result, further compiler passes may convert type-safe source into type-unsafe…