Isn't such a problem at least as difficult a say, the halting problem? There's a lot of implicit contract involved in API's, particularly with languages that ar

Isn't such a problem at least as difficult a say, the halting problem? There's a lot of implicit contract involved in API's, particularly with languages that aren't theorem proving languages.