Smalltalk -- a radical change in programming
languages
- rapid prototyping
Eiffel -- a language with assertions
- correctness
C++ -- is much more than a better C
- the benefits of efficiency
DLP -- introduces logic \c{into object orientation}
- development of knowledge-based systems