Problem
Assume that I buy a software library from a vendor. The library contains the specification of an abstract object stack. I write a program in which I create an instance of type stack.
i) Assume the stack object is written in Ada and the vendor decides to change the implementation of its push operation. Do I need to recompile my program? Assume the vendor decides to change the representation of the stack. Do I need to recompile my program? Explain your answers.
ii) Explain the same two problems if the language used is C++.
iii) Explain the same two problems if the language used is Eiffel.