Comment by User23

Is API compatibility computable in general? My instinct is that it is, but I’ve never seen a theorem.