Semantik secara formal menggambarkan arti beberapa sintaks.
Apa perbedaan mendasar antara semantik operasional kecil dan besar? Saya mengalami kesulitan memahami apa itu dan motivasi untuk memiliki
Saya mencari kalkulus sederhana yang mendukung pemikiran tentang refleksi , yaitu introspeksi dan manipulasi program yang sedang berjalan. Apakah ada ekstensi -calculus yang tidak diketik yang memungkinkan seseorang untuk mengkonversi -terms ke dalam bentuk yang dapat dimanipulasi secara...
Diberi sistem transisi berlabel , di mana adalah seperangkat status, adalah seperangkat label, dan adalah hubungan terner. Seperti biasa, tulis untuk . Transisi berlabel menunjukkan bahwa sistem dalam keadaan mengubah status ke dengan label , yang berarti bahwa adalah beberapa tindakan yang dapat...
Dalam bahasa pemrograman, penutupan adalah fitur yang populer dan sering diinginkan. Wikipedia mengatakan (beri penekanan pada saya): Dalam ilmu komputer, closure (...) adalah fungsi bersama-sama dengan lingkungan referensi untuk variabel non-lokal dari fungsi itu. Penutupan memungkinkan suatu...
Dalam makalah "A Datatype JSON Replicated-Free Replicated" , saya menemukan notasi ini untuk mendefinisikan secara resmi "aturan": Apa sebutan notasi ini? Bagaimana saya membacanya? Sebagai contoh: yang DOCaturan tidak memiliki apa-apa di "pembilang" nya - mengapa tidak? yang EXECdan...
Saya benar-benar bergumul dengan properti ini: Biarkan X,YX,YX,Y menjadi ruang koherensi dan f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) menjadi fungsi monoton. fff adalah kontinu jika dan hanya jika f(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x) , untuk...
Dengan mengacu pada fitur-fitur dalam bahasa seperti ruby (dan javascript), yang memungkinkan seorang programmer untuk memperluas / menimpa kelas setiap saat setelah mendefinisikannya (termasuk kelas-kelas seperti String), apakah secara teori layak untuk merancang bahasa yang dapat memungkinkan...
Asumsikan kita memiliki bahasa sederhana yang terdiri dari istilah: truetrue\mathtt{true} falsefalse\mathtt{false} jika adalah suku maka demikian juga saya ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Sekarang...
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...
Saya pikir saya cukup bingung tentang apa yang disebut kalkulus dan apa yang disebut bahasa pemrograman. Saya cenderung berpikir, dan mungkin telah diberitahu, bahwa kalkulus adalah sistem formal untuk alasan tentang kesetaraan program. Program memiliki semantik operasional yang ditentukan oleh...
Ada banyak bahasa populer. Tetapi, para ilmuwan komputer memberi tahu kita bahwa untuk memahami perilaku program dalam bahasa-bahasa itu dengan jelas dan jelas mendebatkan perilaku program (misalnya membuktikan identitas mereka), kita perlu menerjemahkannya ke bahasa lain yang dipahami dengan baik....
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....
Apakah ada alat untuk membuat prototipe semantik bahasa pemrograman dan sistem tipe dan itu juga memungkinkan untuk semacam pengecekan model properti standar, seperti tipe kesehatan? Saya menanyakan hal ini, karena saya membaca buku tentang Paduan dan menyediakan fungsionalitas tepat yang saya...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Dalam diskusi seputar pertanyaan ini , Gilles menyebutkan dengan benar bahwa bukti kebenaran suatu algoritma yang menggunakan array harus membuktikan bahwa tidak ada akses array di luar batas; tergantung pada model runtime, ini akan menyebabkan kesalahan runtime atau akses ke elemen...
Saya mencari sumber daya untuk memulai dengan analisis program . Satu-satunya buku yang saya temukan pada topik adalah buku Nielson & Nielson . Selain itu, sepertinya hanya ada buku "kompiler" di mana "analisis program" akan menjadi bab, atau sesuatu di sepanjang baris itu. Apakah orang...
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...
StackOverflow menunjuk saya ke sini, jadi pertanyaannya mungkin sedikit dalam istilah awam. Wikipedia mendefinisikan fungsi murni sebagai Dalam pemrograman komputer, suatu fungsi dapat digambarkan sebagai fungsi murni jika kedua pernyataan ini tentang fungsi tersebut: Fungsi selalu...
Katakanlah bahwa daftar didefinisikan sebagai List a = Nil | Cons a (List a) Lalu, di Haskell adalah List xfixpoint terbesar atau paling tidak? Saya bertanya karena lfp harus mengecualikan daftar yang tidak terbatas (tetapi Anda dapat membangunnya di Haskell), sedangkan gfp harus mengecualikan...
Dalam Bab 1 dari Yayasan Praktis untuk Bahasa Pemrograman , penulis menyebutkan bahwa pohon sintaksis abstrak terkait dengan jenis . Secara intuitif, jenis seperti tipe, tetapi saya ingin tahu apakah mereka memiliki definisi yang tepat. Saya akan senang jika beberapa referensi disediakan...