Back to Results
First PageMeta Content
Data types / Object-oriented programming / Iterator / Object / Communications protocol / Application programming interface / Objective-C / Type system / Software bug / Class


Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel Department of Computer Science ETH Zurich, Switzerland
Add to Reading List

Document Date: 2012-04-01 07:44:25


Open Document

File Size: 263,77 KB

Share Result on Facebook