Câu hỏi được gắn thẻ «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 

Chương của Smyth trong cuốn sổ tay logic trong khoa học máy tính và các tài liệu tham khảo khác mô tả cách sử dụng không gian số liệu làm tên miền. Tôi hiểu rằng không gian số liệu hoàn chỉnh cho điểm cố định duy nhất nhưng tôi không …

10 semantics  topology  denotational-semantics  domain-theory  metrics 

Khi làm việc với các danh mục lý thuyết miền (giả sử CPO và CPO), tôi thường mong muốn có một từ điển cho ngôn ngữ của lý thuyết thể loại trong lý thuyết miền.ωω\omega Đó là, đưa ra một khái niệm, nói mũi tên monic, tôi có thể tra …

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

Tôi quan tâm đến các trình biên dịch được xác minh được chính thức hóa trong lý thuyết loại Martin-Löf, tức là Coq / Agda. Hiện tại tôi đã viết một ví dụ đồ chơi nhỏ. Do đó tôi có thể chứng minh rằng tối ưu hóa của tôi là …

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

Đây là một câu hỏi tôi đã hỏi trong diễn đàn toán học SE, và tôi đã được giới thiệu ở đây. Vì vậy, đây là câu hỏi- Tôi là người mới trong cả toán học chính thức và khoa học máy tính lý thuyết, vì vậy hãy đồng ý …

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

Tôi đã đọc phần giới thiệu của một vài cuốn sách về ngữ nghĩa ngôn ngữ lập trình (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), và trong khi tôi hiểu ý nghĩa của chúng theo thể loại cú pháp , hoặc miền cú pháp , tôi đã không hiểu …

8 semantics  denotational-semantics  definitions 

Có bất kỳ ngữ nghĩa phân loại cho logic không đơn điệu? Dường như câu trả lời đơn giản cho điều này là "Không" vì khái niệm rõ ràng về bố cục thất bại đối với bất kỳ mô hình logic phi đơn điệu nào. Nhưng có một mô hình …

8 ct.category-theory  semantics  denotational-semantics 

Đóng cửa từ vựng là một kỹ thuật triển khai trong các ngôn ngữ với các chức năng hạng nhất. Tôi quan tâm đến một mô tả hoạt động đơn giản của việc đóng chức năng. Có ai biết mô tả như vậy?

8 reference-request  pl.programming-languages  semantics  compilers