Dies ist eine Objektkategorie für Artikel, die folgendes Kriterium erfüllen: „ist ein/e Objektorientierte Programmiersprache“. Das gilt auch für sämtliche Artikel in Unterkategorien. Diese Kategorie kann je nach Regelung des Fachbereichs eingeordnet werden in Objektkategorien und in Themenkategorien („gehört zu …“).

Diese Kategorie umfasst Programmiersprachen, welche objektorientiert sind, also einen Objekttyp besitzen und Konzepte wie Vererbung und Polymorphie unterstützen. Diese Charakterisierung betrifft also allein das Typsystem und ist völlig unabhängig vom Konzept des Kontrollflusses, etwa „imperativ“ oder „funktional“. Eine objektorientierte Sprache ist daher nicht automatisch imperativ (siehe zum Beispiel OCaml).