From system F to typed assembly language 论文

1999ACM Transactions on Programming Languages and Systems引用 587
DOIPDF
Security and Verification in ComputingLogic, programming, and type systemsAdvanced Malware Detection Techniques
网络安全Security and Verification in ComputingLogic, programming, and type systemsAdvanced Malware Detection Techniques
相关技术:Advanced Malware Detection Techniques
关系图谱

From system F to typed assembly language · 作者

D

David Walker

N

Neal Glew

K

Karl Crary

G

Greg Morrisett