Using Datalog with Binary Decision

Using Datalog with Binary Decision Diagrams
for Program Analysis
John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam
Computer Science Department
Stanford University
Stanford, CA 94305, USA
{jwhaley, dzin, mcarbin, lam}@cs.stanford.edu

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

Sử dụng Datalog với sơ đồ quyết định nhị phânĐối với chương trình phân tíchJohn Whaley, Dzintars Avots, Michael Carbin và Monica S. LamSở khoa học máy tínhĐại học StanfordStanford, CA 94305, Hoa Kỳ{jwhaley, dzin, mcarbin, lam}@cs.stanford.edu

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

Sử dụng Datalog theo Quyết định Sơ đồ nhị phân
để phân tích chương trình
John Whaley, Dzintars Avots, Michael Carbin, và Monica S. Lâm
Khoa học máy tính Khoa
học Stanford Đại học
Stanford, CA 94.305, Hoa Kỳ
{jwhaley, dzin, mcarbin, lam}@cs.stanford.edu