ĐẶC TẢ NGÔN NGỮ LẬP TRÌNH_Ngữ Nghĩa Tác Vụ

NGỮ NGHĨA TÁC VỤ - Dựa vào một máy ảo mà tập các tác vụ của nó đã được định nghĩa chính xác - Ngữ nghĩa của mỗi phần tử chương trình được đặc tả bằng 1 tập các tác vụ của máy ảo

pdf27 trang | Chia sẻ: diunt88 | Lượt xem: 2897 | Lượt tải: 5Freedownload
Bạn đang xem trước 20 trang tài liệu ĐẶC TẢ NGÔN NGỮ LẬP TRÌNH_Ngữ Nghĩa Tác Vụ, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
Tài liệu liên quan