Strictly declarative specification of sophisticated points-to analyses 论文

2009引用 290

Logic, programming, and type systemsFormal Methods in VerificationAdvanced Software Engineering Methodologies

Advanced Software Engineering Methodologies Logic, programming, and type systems Formal Methods in Verification

相关技术:Formal Methods in Verification Advanced Software Engineering Methodologies

Strictly declarative specification of sophisticated points-to analyses · 相关文章

暂无数据