A machine-checked model for a Java-like language, virtual machine, and compiler 论文

2006ACM Transactions on Programming Languages and Systems引用 247
DOIPDF
Logic, programming, and type systemsSecurity and Verification in ComputingDistributed systems and fault tolerance
网络安全Security and Verification in ComputingLogic, programming, and type systemsDistributed systems and fault tolerance
关系图谱

A machine-checked model for a Java-like language, virtual machine, and compiler · 相关技术

暂无数据