Pertanyaan yang diberi tag «object-oriented»

Dalam perspektif bahasa pemrograman, apa yang dimaksud dengan subtyping? Saya mendengar bahwa "Warisan bukan Subtipe". Lalu apa perbedaan antara pewarisan dan subtipe?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

Jenis kepemilikan dan Logika Pemisahan tampaknya memiliki tujuan yang sama, kendali atas kepemilikan dan alias. Mungkin, saya juga harus menambahkan: kemampuan untuk menulis spesifikasi modular. Apa yang diketahui tentang hubungan antara tipe kepemilikan dan Logika Pemisahan?

10 pl.programming-languages  type-systems  object-oriented  program-logic 

Ini adalah pertanyaan yang saya ajukan di forum SE matematika, dan saya dirujuk di sini. Jadi di sini adalah pertanyaan- Saya seorang pemula di kedua matematika formal dan ilmu komputer teoretis, jadi silakan bersamaku jika Anda menemukan pertanyaan saya tidak dibingkai dengan benar. Pemodelan Berorientasi Objek tampaknya sangat berguna dalam …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented