The rest of the paper is organized

The rest of the paper is organized as follows. We first describe how a program analysis
can be described as a Datalog program in Section 2. Section 3 deconstructs a Datalog
program into operations in relational algebra, and shows how BDDs can be used to rep-
resent relations and implement relational operations. Section 4 describes the algorithm
used by bddbddb to translate a Datalog program into an interpretable program of effi-
cient BDD operations. Section 5 presents experimental results comparing bddbddb to
hand-coded implementations of program analysis using BDDs. In Section 6 we discuss
the related work. Our conclusions are in Section 7.

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

Phần còn lại của giấy được tổ chức như sau. Chúng tôi chính mô tả làm thế nào một chương trình phân tíchcó thể được mô tả như một chương trình Datalog trong phần 2. Phần 3 deconstructs một DatalogCác chương trình vào hoạt động trong đại số quan hệ, và cho thấy làm thế nào BDDs có thể sử dụng để đại diện-resent quan hệ và thực hiện các hoạt động quan hệ. Mục 4 mô tả thuật toánsử dụng bddbddb để dịch một chương trình Datalog vào một chương trình interpretable effi-CIT BDD hoạt động. Phần 5 trình bày kết quả thử nghiệm so sánh bddbddb đểtay mã hóa thực thi của chương trình phân tích sử dụng BDDs. Trong phần 6 chúng tôi thảo luận vềCác công việc có liên quan. Kết luận của chúng tôi là trong phần 7.

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

Phần còn lại của bài báo được tổ chức như sau. Chúng tôi Fi đầu tiên mô tả làm thế nào một phân tích chương trình
có thể được mô tả như một chương trình Datalog trong phần 2. Phần 3 deconstructs một Datalog
chương trình vào hoạt động trong đại số quan hệ, và cho thấy cách BDDs có thể được sử dụng để được đại
quan hệ resent và thực hiện các hoạt động quan hệ. Phần 4 mô tả các thuật toán
được sử dụng bởi bddbddb để dịch một chương trình Datalog vào một chương trình có thể phiên dịch của ef fi-
cient hoạt động BDD. Phần 5 trình bày kết quả thực nghiệm so sánh bddbddb để
triển khai thực hiện các phân tích chương trình sử dụng BDDs tay mã. Trong phần 6, chúng tôi thảo luận về
các công việc liên quan. Kết luận của chúng tôi là tại Mục 7.