Uma linguagem de programação que permite ao usuário expressar um programa em termos de objetos e mensagens entre os objetos. Smalltalk e logotipo são exemplos.