Pertanyaan yang diberi tag «denotational-semantics»

Saya akrab dengan semantik operasional (baik langkah kecil maupun besar) untuk mendefinisikan bahasa pemrograman. Saya tertarik untuk belajar semantik denotasional juga, tetapi saya tidak yakin apakah itu akan sepadan dengan usahanya. Apakah saya hanya akan mempelajari materi yang sama dari sudut pandang yang berbeda, atau ada wawasan yang hanya dapat …

14 semantics  operational-semantics  denotational-semantics 

Saya tahu bahwa penulis yang berbeda menggunakan notasi yang berbeda untuk mewakili semantik bahasa pemrograman. Sebenarnya Guy Steele mengatasi masalah ini dalam video yang menarik . Saya ingin tahu apakah ada yang tahu apakah operator pintu putar terkemuka memiliki makna yang dikenal baik. Misalnya saya tidak mengerti operator terkemuka di …

12 type-theory  denotational-semantics