Un llenguatge de programació que permet l'usuari d'expressar un programa en termes d'objectes i els missatges entre objectes. Exemples inclouen Smalltalk i el logotip.