Aravind Machiny等人：C按3c检查C。(2022) 期刊/pacmpl/机械KMEHH22 10.1145/3527322 C通过3c检查C。 6 Aravind机械 1 约翰·卡斯特纳 2 马特·麦卡琴 三 亚伦·艾琳 4 凯尔·海德利 5 迈克尔·希克斯0001 6 1-29 程序。ACM计划。语言。 程序。ACM计划。语言。 6 OOPSLA1型 2022 dblp记录“journals/pacmpl/MachinyKMEHH22”的RDF数据的来源信息 2023-02-24T15:56:42+0100