Pertanyaan yang diberi tag «semantics»

Dalam semantik bahasa pemrograman, sering terdengar bahwa orang berbicara tentang makna dan denotasi . Mereka tampaknya tidak sama. Apa bedanya? Apakah yang pertama dikaitkan dengan semantik operasional sementara yang kedua dengan semantik denotasional? Terima kasih.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

Bab Smyth dalam buku pegangan logika dalam ilmu komputer dan referensi lain menjelaskan bagaimana ruang metrik dapat digunakan sebagai domain. Saya mengerti bahwa ruang metrik lengkap memberikan titik tetap yang unik, tetapi saya tidak mengerti mengapa ruang metrik penting. Saya sangat menghargai pemikiran tentang pertanyaan-pertanyaan berikut. Apa contoh bagus penggunaan …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Ketika berurusan dengan kategori teori domain (katakanlah CPO dan CPO), saya sering berharap untuk kamus untuk bahasa teori kategori dalam teori domain.ωω\omega Artinya, diberikan konsep, katakan panah monic, saya bisa mencarinya di kamus dan melihat apa karakterisasi yang diketahui dalam kategori domain yang berbeda. Saya menyadari keinginan ini terlalu banyak …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

Saya tertarik pada kompiler terverifikasi yang diformalkan dalam teori tipe Martin-Löf, yaitu Coq / Agda. Saat ini saya sudah menulis contoh mainan kecil. Dengan demikian saya dapat membuktikan bahwa optimasi saya benar. Misalnya penambahan dengan nol dapat dihilangkan, yaitu ekspresi seperti "x + 0". Adakah optimasi yang sulit dilakukan dengan …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

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 

Saya telah membaca bagian pengantar dari beberapa buku tentang semantik bahasa pemrograman (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), dan sementara saya mengerti apa yang dimaksud dengan kategori sintaksis , atau domain sintaksis , saya tidak t menemukan definisi yang tegas dan langsung dari mereka. Apakah ada definisi standar, …

8 semantics  denotational-semantics  definitions 

Apakah ada semantik kategoris untuk logika non-monotonik? Tampaknya jawaban sederhana untuk ini adalah "Tidak" karena gagasan jelas tentang komposisi gagal untuk model logika non-monotonik apa pun. Tetapi apakah ada model yang benar-benar berfungsi dengan gagasan komposisi yang didefinisikan dengan tepat?

8 ct.category-theory  semantics  denotational-semantics 

Penutupan leksikal adalah teknik implementasi dalam bahasa dengan fungsi kelas satu. Saya tertarik dengan deskripsi operasional sederhana dari penutupan fungsi. Adakah yang tahu deskripsi seperti itu?

8 reference-request  pl.programming-languages  semantics  compilers