Princípios fundamentais da programação orientada a objetos são apresentados com foco em semântica formal e modelos de execução, incluindo discussões sobre classes, objetos e mensagens.

O texto aborda tipos, herança e polimorfismo em contextos de linguagem, propondo formalizações que clarificam comportamentos de ligação dinâmica e estática; há análise de exemplos concretos de mecanismos de linguagem.

Modelos de objetos e variações de implementação são comparados para explicar trade-offs de design, com atenção a implicações práticas para projeto de compiladores e ambientes de execução.