CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs CPP '25:第14届ACM Sigplan国际认证计划和证明会议论文集

会议集名称: CPP: Certified Programs and Proofs(CPP:经认证的计划和证明)
ISBN: 9798400713477 会议时间: January 20 - 21, 2025 会议地点: Denver CO USA 出版社: Association for Computing Machinery
22
总文献数
导航&检索条件: 整届会议 共计: 22篇
José Bacelar Almeida[1];Denis Firsov[2];Tiago Oliveira[3];Dominique Unruh[4]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 3 - 16 页, DOI: 10.1145/3703595.3705871
Mircea Sebe[1];Maribel Fernández[2];James Cheney[3]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 17 - 33 页, DOI: 10.1145/3703595.3705872
Cass Alexandru[1];Vikraman Choudhury[2];Jurriaan Rot[3];Niels van der Weide[3]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 34 - 49 页, DOI: 10.1145/3703595.3705873
Anne Baanen[1];Alain Chavarri Villarello[2];Sander R. Dahmen[2]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 50 - 66 页, DOI: 10.1145/3703595.3705874
Tetsuya Sato[1];Yasuhiko Minamide[1]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 67 - 82 页, DOI: 10.1145/3703595.3705875
Jannis Limperg[1]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 98 - 111 页, DOI: 10.1145/3703595.3705877
Vadim Zaliva[1];Kayvan Memarian[1];Brian Campbell[2];Ricardo Almeida[2];Nathaniel Filardo[1];Ian Stark[2];Peter Sewell[1]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 112 - 126 页, DOI: 10.1145/3703595.3705878
Wolfgang Meier[1];Martin Jensen[1];Jean Pichon-Pharabod[1];Bas Spitters[1]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 127 - 139 页, DOI: 10.1145/3703595.3705879
Basile Pesin[1];Sylvain Boulmé[2];David Monniaux[2];Marie-Laure Potet[2]
CPP: Certified Programs and Proofs ISBN: 9798400713477, 2025 年, 卷, 140 - 155 页, DOI: 10.1145/3703595.3705880