Un langage de programmation qui permet à l'utilisateur d'exprimer un programme en termes d'objets et de messages entre ces objets. On peut citer Smalltalk et LOGO.