Eine Taxonomie von Objekten für die streng formale objektorientierte Programmiersprache EO

Wir stellen eine Taxonomie von Objekten für die streng formale objektorientierte Programmiersprache EO vor, die nach Prinzipien wie Nicht-Redundanz und Einfachheit entworfen wurde. Diese Taxonomie soll EO-Programmierern als Navigationskarte dienen und kann auch als Richtlinie für Designer anderer objektorientierter Sprachen oder Bibliotheken hilfreich sein.