Câu hỏi được gắn thẻ «operational-semantics»

Trong khi thảo luận về bằng chứng chuẩn hóa mạnh mẽ, nhận xét này đối chiếu "mô hình biểu mẫu bình thường" với "phương pháp cú pháp thuần túy". Điều này đưa tôi trở lại một câu hỏi cơ bản hơn: chúng ta vẫn có thể phân biệt các cấu …

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

Trang "Lược đồ nâng cao: Một số bit nghịch ngợm" nêu rõ: Continuations là một cấu trúc luồng điều khiển mạnh mẽ mà từ đó gần như bất kỳ cấu trúc luồng điều khiển nào khác [...] có thể được bắt nguồn. Tôi nghĩ rằng Scheme call/cc, có liên quan …

12 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Để chứng minh tính chính xác, tôi đang tìm kiếm một khái niệm có thể sử dụng được về tính tương đương của chương trình cho các hệ thống loại thuần túy (PTS) của Barendregt; thiếu điều đó, cho đủ hệ thống loại cụ thể. Mục tiêu của tôi chỉ …

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

Trong chương trình ngữ nghĩa ngôn ngữ, người ta thường nghe nói rằng người nói về ý nghĩa và ngoại diên . Họ dường như không giống nhau. Sự khác biệt là gì? Là cái trước liên quan đến ngữ nghĩa hoạt động trong khi cái trước với ngữ nghĩa …

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