formal-semantics

12Nhiệt

2Trả lời

Các ánh xạ ngữ nghĩa denotational có thể giải quyết được không?

Xin lỗi vì biểu hiện kém của câu hỏi này, tôi không chắc là tôi có vốn từ vựng để hỏi nó một cách thích hợp. Tôi đã viết (rất gần đây) một cái gì đó giống như ⟦let x = x in x⟧ = ⊥ nhưng thực sự tôi

12Nhiệt

1Trả lời

PLT Redex: tham số hóa định nghĩa ngôn ngữ

Đây là một vấn đề đã khiến tôi khó chịu trong một thời gian, và tôi tự hỏi liệu có ai ở đây có thể giúp đỡ hay không. Tôi có một mô hình Redex PLT của một ngôn ngữ được gọi là lambdaLVar, ít nhiều là

5Nhiệt

1Trả lời

Ngữ nghĩa chính thức về định vị hộp CSS

Tôi là sinh viên khoa học máy tính (lý thuyết) và việc điều tra ngữ nghĩa của ngôn ngữ lập trình là một trong những môn học của tôi (wikipedia). Tôi đã chơi rất nhiều với CSS và có sự hiểu biết hợp lý

5Nhiệt

6Trả lời

có Mô hình phổ quát cho ngôn ngữ không?

Nhiều ngôn ngữ lập trình có chung các tính năng chung và thậm chí khá phổ quát. Ví dụ: nếu bạn so sánh Java, VB6, .NET, PHP, Python, thì bạn sẽ tìm thấy các chức năng phổ biến như cấu trúc điều khiển,

6Nhiệt

4Trả lời

"Ngữ nghĩa chính thức" là gì?

Tôi đang đọc một bài báo rất ngớ ngẩn và tiếp tục nói về cách Giotto định nghĩa một "ngữ nghĩa chính thức". Giotto có ngữ nghĩa chính thức chỉ định ý nghĩa của công tắc chế độ, giao tiếp giữa các thôn