Un limbaj de programare care permite utilizatorului să-şi exprime un program în termeni de obiecte şi mesaje între aceste obiecte. Exemple includ Smalltalk şi logo-ul.