«operational-semantics» etiketlenmiş sorular

Güçlü normalizasyon kanıtları tartışılırken, bu yorum "normal form modelini" "tamamen sözdizimsel yöntemlerle" karşılaştırmaktadır. Bu beni daha temel bir soruya geri getiriyor: sözdizimine dayalı modeller karşısında sözdizimsel ve anlambilimsel yapıları kesin olarak ayırt edebilir miyiz? Cebir için terim modelleri, birinci dereceden mantık için Henkin modelleri ne olacak? Yapısal işlemsel anlambilim ne …

14 lo.logic  pl.programming-languages  operational-semantics 

Sayfa "Gelişmiş Şeması: Bazı Yaramaz Bit" devletler: Devamlar, hemen hemen tüm diğer kontrol akışı yapılarının [...] türetilebileceği güçlü bir kontrol akışı yapısıdır. call/ccPeter Landin'in J operatörü ile ilişkili (*) olan Scheme's'in bilinen herhangi bir kontrol akış yapısını uygulamak için kullanılabileceğini düşündüm. "Kontrol akış yapısı" ile, özellikle Wikipedia'nın bunlarla ilgili açıklamalarını …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Bir doğruluğu ispat için, ben programı denklik kullanılabilir bir kavramı arıyorum Barendregt en saf tip sistemlerde (PTS'ler) için; yeterli spesifik tip sistemler için eksik. Amacım bu fikri kendi iyiliği için araştırmak değil, kullanmaktır.≅≅\cong Bu nosyon " genişlemeli " olmalıdır - özellikle olduğunu kanıtlamak için, t 1t1≅t2t1≅t2t_1 \cong t_2 uygun türdekitüm …

11 pl.programming-languages  type-theory  operational-semantics 

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