«semantics» etiketlenmiş sorular

Dil semantiğini programlama, genellikle insanlar hakkında konuşurken duyulmaktadır anlam ve anlam . Aynı gibi görünmüyorlar. Fark ne? İlki operasyonel semantikle, ikincisi ise anlamsal semantikle mi ilişkili? Teşekkürler.

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

Smyth'in bilgisayar bilimi mantığı el kitabındaki bölümü ve diğer referanslar, metrik uzayların alan olarak nasıl kullanılabileceğini açıklar. Tam metrik uzayların benzersiz sabit noktalar verdiğini anlıyorum, ancak metrik uzayların neden önemli olduğunu anlamıyorum. Aşağıdaki sorularla ilgili düşünceleri gerçekten takdir ediyorum. Anlambilimde (ultra / yarı / sözde) metrik uzayların kullanımına iyi örnekler …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Alan teorik kategorileri (CPO ve CPO diyelim) ile uğraşırken , sıklıkla alan teorisinde kategori teorisi dili için bir sözlük isterim.ωω\omega Yani, bir kavram verildiğinde, monik ok, sözlüğe bakabilir ve farklı etki alanı kategorilerinde bilinen karakterizasyonlarını görebilirim. Bu dileğin umulmayacak kadar çok olduğunu biliyorum, ama ona yaklaşan herhangi bir metin veya …

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

Martin-Löf tipi teoride, yani Coq / Agda'da resmileştirilmiş doğrulanmış derleyicilerle ilgileniyorum. Şu anda küçük bir oyuncak örneği yazdım. Böylece optimizasyonlarımın doğru olduğunu kanıtlayabilirim. Örneğin, sıfır ile yapılan ilaveler ortadan kaldırılabilir, yani "x + 0" gibi ifadeler. Düzenli bir derleyici ile gerçekleştirilmesi zor, iyi bir örnek olacak optimizasyonlar var mı? Bir …

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

Bu, matematik SE forumunda sorduğum bir soru ve burada yönlendirildim. İşte soru- Hem resmi matematikte hem de teorik bilgisayar bilimlerinde yeniyim, bu yüzden sorumun doğru çerçevelenmediğini fark ederseniz lütfen yanımda olun. Nesneye Dayalı Modelleme, gerçek dünyayı simüle ederken karmaşık etkileşimlerin tanımlanmasında çok yararlı görünmektedir. Ancak daha çok programlamada kullanılır. Matematikte …

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