| 标题 |
 Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification 基于静态分析和程序验证的大型语言模型程序规范综合
相关领域
程序设计语言
计算机科学
静态分析
规范语言
程序设计语言规范
程序设计范式
归纳程序设计
程序设计域
|
| 网址 | |
| DOI | |
| 其它 |
期刊：arXiv (Cornell University) 作者：Chuang Wen; Jialun Cao; Jie Su; Zhiwu Xu; Shengchao Qin; et al 出版日期：2024-03-31 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
科研助手6
昏睡的蟠桃
cdercder
发财暴富财富自由没我快吧嘻嘻嘻
SYLH
bc
iNk
jenningseastera
lin
科研小民工
kingwill
平常的毛豆
ZhouYW
椰子在长江送礼物
nozero
VDC
遇上就这样吧
简单的千凝
back you up
HEIKU
皖公网安备34019202002308
