Pertanyaan yang diberi tag subtypes

12
Mengapa subtyping behavorial tidak dapat ditentukan?

Pekerjaan Liskov di bidang ini berfokus pada subtyping perilaku, yang selain jenis keamanan sistem yang dibahas dalam artikel ini juga mensyaratkan bahwa subtipe mempertahankan semua invarian yang dijamin oleh supertipe dalam beberapa kontrak. [3] Definisi subtyping ini umumnya tidak dapat...