Step-by-step Solution:

1. SmallTalk: SmallTalk is a pure object-oriented programming language that supports both classes and polymorphism. \[\] 2. Ada: Ada is a programming language that supports object-oriented programming with classes but does not fully support polymorphism in all its features compared to other object-oriented programming languages. \[\] 3. Java: Java is a fully object-oriented language that supports classes as well as polymorphism through mechanisms like method overriding and interfaces. \[\] 4. C++: C++ supports object-oriented programming concepts, including polymorphism, using features like virtual functions and inheritance. \[\] \[\] Correct Answer: (b)