Type-Directed Program Synthesis and Constraint Generation for Library Portability
Type-Directed Program Synthesis and Constraint Generation for Library Portability
复制标题
用于库可移植性的类型导向程序综合和约束生成
DOI：
10.1109/pact.2019.00013
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Collie B
中科院分区：
文献类型：
--
作者：
Collie B
登录
查看更多内容
仿真软件工程中的可扩展性-效率/可维护性-可移植性权衡：示例和初步系统文献综述
DOI：
10.1109/se-hpccse.2016.008
发表时间：
2016
期刊：
2016 Fourth International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering (SE-HPCCSE)
影响因子：
--
作者：
D. Pflüger;M. Mehl;Julian Valentin;Florian Lindner;David Pfander;S. Wagner;D. Graziotin;Yang Wang
通讯作者：
Yang Wang
验证了模板计算的提升
DOI：
10.1145/2908080.2908117
发表时间：
2016
期刊：
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Shoaib Kamil;Alvin Cheung;Shachar Itzhaky;Armando Solar
通讯作者：
Armando Solar
DOI：
10.1609/aaai.v33i01.33012362
发表时间：
2018
期刊：
2013 20th Working Conference on Reverse Engineering (WCRE)
影响因子：
--
作者：
Christopher D. Rosin
通讯作者：
Christopher D. Rosin
测试驱动综合
DOI：
--
发表时间：
2014
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
Daniel Perelman;Sumit Gulwani;D. Grossman;Peter Provost
通讯作者：
Peter Provost
从语义合成机器代码
DOI：
10.1145/2737924.2737960
发表时间：
2015
期刊：
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Venkatesh Srinivasan;T. Reps
通讯作者：
T. Reps