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

Tôi quen thuộc với ngữ nghĩa hoạt động (cả bước nhỏ và bước lớn) để xác định ngôn ngữ lập trình. Tôi cũng quan tâm đến việc học ngữ nghĩa học biểu thị, nhưng tôi không chắc liệu nó có xứng đáng với nỗ lực đó không. Tôi sẽ chỉ …

14 semantics  operational-semantics  denotational-semantics 

Tôi biết rằng các tác giả khác nhau sử dụng các ký hiệu khác nhau để thể hiện ngữ nghĩa ngôn ngữ lập trình. Như một vấn đề thực tế Guy Steele giải quyết vấn đề này trong một video thú vị . Tôi muốn biết liệu có ai biết …

12 type-theory  denotational-semantics 

Tôi đang đọc qua một bài bình luận về "Việc sử dụng máy móc để hỗ trợ bằng chứng nghiêm ngặt" của Milner. Trong bài báo này, ông giải thích LCF được sinh ra như thế nào từ những ý tưởng về ngữ nghĩa học của Dana Scott và Strachey. …

8 hoare-logic  automated-theorem-proving  denotational-semantics 

Tôi đang làm việc để viết một tài liệu dễ đọc về ngữ nghĩa biểu thị của phép tính lambda. Vì vậy, tôi giới thiệu CPO, tính đơn điệu và liên tục. CPO là một tập hợp có thứ tự một phần và phần tử dưới cùng , yêu cầu …

7 computability  denotational-semantics