Algorithm 1 is the Datalog program

Algorithm 1 is the Datalog program for a simple Java points-to analysis. It begins
with a declaration of domains, their sizes, and optional mapping files containing mean-
ingful names for the numerical values in each domain. V is the domain of local variables
and method parameters, distinguished by identifier name and lexical scope. H is the do-
main of heap objects, named by their allocation site. F is the domain of field identifiers,
distinguished by name and the type of object in which they are contained.

Kết quả (Việt) 1:

Thuật toán 1 là chương trình Datalog cho một Java đơn giản điểm-để phân tích. Nó bắt đầuvới một tuyên bố của tên miền, kích thước của họ, và lập bản đồ tùy chọn dòng có nghĩa là-ingful tên cho các giá trị số ở mỗi miền. V là tên miền của các biến địa phươngvà phương pháp tham số, phân biệt bằng identifier tên và phạm vi từ vựng. H là do-chính đối tượng đống, đặt theo tên của trang web phân phối của họ. F là tên miền identifiers quấn,phân biệt bằng tên và loại của các đối tượng mà họ đang có.

Kết quả (Việt) 2:

Thuật toán 1 là chương trình Datalog cho một đơn giản điểm đến Java phân tích. Nó bắt đầu
với một tuyên bố của các lĩnh vực, kích thước của chúng, và bản đồ tùy chọn fi les chứa uốn lượn
tên ingful cho các giá trị số trong mỗi miền. V là miền của các biến địa phương
và các thông số phương pháp, phân biệt bởi tên fi er identi và phạm vi từ vựng. H là do-
chính của các đối tượng heap, được đặt tên bởi trang web phân bổ của họ. F là tên miền của ers fi identi fi lĩnh,
phân biệt bởi tên và kiểu của đối tượng, trong đó họ được chứa.