使用基于枚举模式的注释进行程序合成

发明专利有效专利

申请号：
CN202010115148.5
IPC分类号：G06F8/70;G06F40/58
申请日期：
2020-02-25
申请人：
国际商业机器公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	使用基于枚举模式的注释进行程序合成
申请号	CN202010115148.5	申请日期	2020-02-25
法律状态	实质审查	申报国家	中国
公开/公告日	2020-09-01	公开/公告号	CN111611004A
优先权	暂无	优先权号	暂无
主分类号	G06F8/70 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F8/00 软件工程设计（测试或调试入G06F 11/36；软件项目管理、规划或组织入G06Q 10/06）〔2018.01〕 G06F8/70 软件维护或管理〔2018.01〕	IPC分类号	G;0;6;F;8;/;7;0;;;G;0;6;F;4;0;/;5;8查看分类表>
申请人	国际商业机器公司	申请人地址	美国纽约阿芒克变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	国际商业机器公司	当前权利人	国际商业机器公司
发明人	岩间太;立石孝彰;斋藤新
代理机构	北京市柳沈律师事务所	代理人	邸万奎

摘要

一种用于使用基于枚举模式的注释进行程序合成的系统，包括：用于存储程序代码的存储器设备，和至少一个处理器设备，其可操作地耦合到存储器设备。该至少一个处理器设备被配置为运行存储在存储器设备上的程序代码以:获得注释的项的集合，该集合包括一个或多个项，每个项都用枚举模式注释；使用自然语言处理将问题文本翻译成形式规范，该形式规范被描述为与谓词相关联的规则的集合；和基于注释的项的集合，合成满足形式规范的规则的集合的一个或多个项，以生成计算机程序。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供