Eliminating array bound checking through dependent types 论文

1998引用 285
DOI
Logic, programming, and type systemsSoftware Engineering ResearchSecurity and Verification in Computing
网络安全Software Engineering ResearchSecurity and Verification in ComputingLogic, programming, and type systems
关系图谱

Eliminating array bound checking through dependent types · 作者

F

Frank Pfenning

H

Hongwei Xi