Un lenguaje de programación que permite al usuario expresar un programa en términos de objetos y mensajes entre los objetos. Ejemplos de Smalltalk y logotipo.