Una estructura de programa orientado a objetos en el que una clase sirve como la unidad básica de la descomposición. Diseño por contrato estrechamente integrado con otras construcciones del lenguaje. Gestión de memoria automática, por lo general implementado por un recolector de basura. Herencia, incluyendo la herencia múltiple, el cambio de nombre, la redefinición, "select", herencia no conforme, y otros mecanismos destinados a hacer que la herencia sea segura.