引用人
Hong J(香港) Ryu S公司 (2024) 不写,但返回:在C-to-Rust转换中用代数数据类型替换输出参数 美国计算机学会程序设计语言会议录 10.1145/3656406 8 :PLDI (716-740) 在线发布日期:2024年6月20日 包蒂斯塔S 詹森T 蒙塔古B (2024) 代数数据类型和函数数组的输入-输出关系域 系统设计中的形式化方法 2007年10月10日/10703-024-00456-z 在线发布日期:2024年6月13日 内格里尼L 阿塞里五世 科尔特斯A 费拉拉P (2024) 塔西斯 :一个有效的基于自动机的字符串分析抽象域 软件期刊:进化与过程 2002年10月10日/月2647日 在线发布日期:2024年2月14日 显示更多引用者