Ngữ nghĩa chính thức của ngôn ngữ lập trình

Tôi chưa quen với lý thuyết ngôn ngữ lập trình và tôi đang tìm kiếm một nguồn tài nguyên tốt về tài nguyên cho ngữ nghĩa chính thức của ngôn ngữ lập trình. Cụ thể tìm kiếm ngữ nghĩa hoạt động cấu trúc. Tôi đã nhận được một số khuyến nghị cuốn sách. Nhưng tôi đang tìm kiếm một nguồn tài nguyên ở cấp độ giới thiệu hơn. Đặc biệt là hướng dẫn, trang web và đề xuất sách miễn phí được hoan nghênh.

Nhìn vào khóa học ngữ nghĩa hoạt động tại trường đại học của tôi cho thấy ba điều sau đây:

• Ghi chú bài giảng của Andrew Forge
• Aarhus của Gordon Plotkin lưu ý về ngữ nghĩa hoạt động cấu trúc
• Các ngữ nghĩa của ngôn ngữ lập trình của Matthew Hennessey

Ôi trời.

Cấu trúc ngữ nghĩa hoạt động (SOS) là một khái niệm rất chung chung. Về cơ bản, đây chỉ là mối quan hệ nhị phân trên các cấu hình (thường là các chương trình cộng với bối cảnh, như trạng thái hoặc các phần tiếp theo có sẵn) hoặc, trong trường hợp ngữ nghĩa được gắn nhãn, mối quan hệ tạm thời giữa các cấu hình, hành động (đại diện cho các bối cảnh tối thiểu nhất định) và cấu hình. Bit "cấu trúc" thường là các quan hệ này được xác định theo quy nạp theo cú pháp liên quan (ví dụ: cấu hình và hành động).

Như vậy, không có yêu cầu nào khác, các thực thể toán học mà chúng tôi xem xét trong SOS quá chung chung để trở nên thú vị / dễ điều khiển theo cách riêng của chúng.

SOS trở nên thú vị và đáng kể khi chúng ta xem xét các trường hợp đặc biệt, ví dụ như tương đương cho phép tính thời gian, chuyển đổi được gắn nhãn cho phép tính môi trường không đồng bộ tương ứng với mức giảm hoặc câu hỏi về tính biểu cảm của một số phép tính (lớp) nhất định.

Vì vậy, khuyến nghị của tôi cho Mr / Ms Systemsfault là bỏ qua tính tổng quát và chuyển ngay vào các tính toán cụ thể về lợi ích. Kỹ thuật SOS nói chung có thể dễ dàng được chọn trên đường đi.

Tôi khuyên bạn nên đọc Chương 2 trong cuốn sách có thể tải xuống này:

Ngữ nghĩa với các ứng dụng: Giới thiệu chính thức, Hanne Riis Nielson và Flemming Nielson, Wiley, 1992. http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html