1
Sự khác biệt giữa ngữ nghĩa hoạt động nhỏ và lớn
Sự khác biệt cơ bản giữa các ngữ nghĩa hoạt động nhỏ và lớn là gì? Tôi đang có một thời gian khó khăn để nắm bắt nó là gì và động lực để có hai.
Ngữ nghĩa hoạt động là một phạm trù ngữ nghĩa của ngôn ngữ lập trình chính thức, trong đó các thuộc tính mong muốn nhất định của một chương trình, chẳng hạn như tính đúng đắn, an toàn hoặc bảo mật, được xác minh bằng cách xây dựng các bằng chứng từ các câu lệnh logic về việc thực thi và các thủ tục của nó, thay vì bằng cách gắn các ý nghĩa toán học vào các thuật ngữ của nó .