Other recent work by Liu and Stolle

Other recent work by Liu and Stoller on efficient Datalog appears to have promise, but
they do not present any performance results [21].
Our system for specifying program analyses using Datalog has successfully an-
alyzed programs with tens of thousands of lines of source code, and has regularly
performed faster than handcoded analyses. We will discuss our experience develop-
ing points-to analyses for C and for Java, which we compare with earlier handcoded
versions. We will also discuss the results of using a security analysis and an external
lock analysis which were specified using the same system

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

Tác phẩm gần đây của Liu và Stoller trên efficient Datalog dường như đã hứa, nhưnghọ không thể hiện bất kỳ kết quả hiệu suất [21].Hệ thống của chúng tôi để xác định chương trình phân tích bằng cách sử dụng Datalog đã thành công một -alyzed chương trình với hàng chục ngàn dòng mã nguồn, và có thường xuyênthực hiện nhanh hơn so với phân tích handcoded. Chúng tôi sẽ thảo luận về kinh nghiệm của chúng tôi phát triển-ing điểm-để phân tích cho C và Java, chúng tôi so sánh với handcoded trước đóCác phiên bản. Chúng tôi cũng sẽ thảo luận về các kết quả của việc sử dụng một phân tích an ninh và thiết bị ngoàikhóa phân tích là specified bằng cách sử dụng cùng một hệ thống

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

Công việc khác gần đây của Liu và Stoller trên ef fi cient Datalog dường như có lời hứa, nhưng
họ không đưa ra bất kỳ kết quả thực hiện [21].
Hệ thống của chúng tôi để xác định chương trình phân tích sử dụng Datalog đã thành công An-
chương trình với hàng chục ngàn dòng mã nguồn alyzed , và đã thường xuyên
thực hiện nhanh hơn so với các phân tích handcoded. Chúng tôi sẽ thảo luận về kinh nghiệm triển của chúng tôi
ing điểm để phân tích cho C và Java, mà chúng ta so sánh với handcoded trước đó
các phiên bản. Chúng tôi cũng sẽ thảo luận về kết quả của việc sử dụng một phân tích an ninh và một bên ngoài
phân tích khóa mà là cụ thể fi ed sử dụng cùng một hệ thống