Nghiên cứu ngữ nghĩa chương trình Datalog và ứng dụng phân tích chương trình với cây nhị phân quyết định

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định).

Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ:
Email: thuviendhkh@gmail.com
ĐT: 054 3822440 – 054 3832447

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn