Een programmeertaal waarmee de gebruiker om uit te drukken een programma in termen van objecten en de berichten tussen deze objecten. Voorbeelden zijn Smalltalk en LOGO.