Ownership types for flexible alias protection 论文

1998引用 578
DOIPDF
Logic, programming, and type systemsAdvanced Software Engineering MethodologiesSecurity and Verification in Computing
网络安全Security and Verification in ComputingAdvanced Software Engineering MethodologiesLogic, programming, and type systems
相关技术:Advanced Software Engineering Methodologies
关系图谱

Ownership types for flexible alias protection · 相关技术

相关技术

Advanced Software Engineering Methodologies