Pertanyaan yang diberi tag «operational-semantics»

Sementara diskusi menjadi bukti normalisasi yang kuat, komentar ini kontras dengan "model bentuk normal" dengan "metode sintaksis murni". Ini membawa saya kembali ke pertanyaan yang lebih mendasar: dapatkah kita membedakan konstruksi sintaksis dan semantik secara ketat, di hadapan model berbasis sintaksis? Bagaimana dengan model istilah untuk aljabar, model Henkin untuk …

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

Halaman "Skema Lanjutan: Beberapa Bit Nakal" menyatakan: Lanjutan adalah konstruksi aliran kontrol yang kuat dari mana hampir semua struktur aliran kontrol lainnya [...] dapat diturunkan. Saya berpikir bahwa Skema ini call/cc, yang terkait (*) ke operator J Peter Landin ini, dapat digunakan untuk mengimplementasikan setiap struktur kontrol aliran dikenal? Dengan …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Untuk bukti kebenaran, saya mencari gagasan yang dapat digunakan tentang kesetaraan program untuk sistem tipe murni (PTS) Barendregt; hilang itu, untuk sistem jenis yang cukup spesifik. Tujuan saya hanyalah menggunakan gagasan itu, bukan untuk menyelidiki demi kepentingannya sendiri.≅≅\cong Gagasan ini harus " ekstensional " - khususnya, untuk membuktikan bahwa , …

11 pl.programming-languages  type-theory  operational-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