龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：中移物联网有限公司;中国移动通信集团有限公司
摘要：本发明实施例提供了一种编程方法、装置、设备及计算机存储介质，方法包括：通过知识图谱OWL2、高阶抽象语法HOAS以及范畴论构建函数知识图谱，所述函数知识图谱包括函数式编程的类型系统，所述类型系统用于定义函数式编程中的约束关系；构建所述函数知识图谱的函数式编程元语言，所述函数式编程元语言用于定义所述函数式编程的编程规则；对目标编程语言进行解析，得到语义元素；将所述语义元素和所述函数知识图谱进行实例化，得到目标知识图谱；在所述目标知识图谱中，根据所述函数式编程元语言推导与用户的输入内容相对应的函数组合方式。通过上述步骤，能够提高函数式编程的编程效率。
主权项：1.一种编程方法，其特征在于，所述方法包括：通过知识图谱OWL2、高阶抽象语法HOAS以及范畴论构建函数知识图谱，所述函数知识图谱包括函数式编程的类型系统，所述类型系统用于定义函数式编程中的约束关系；构建所述函数知识图谱的函数式编程元语言，所述函数式编程元语言用于定义所述函数式编程的编程规则；对目标编程语言进行解析，得到语义元素；将所述语义元素和所述函数知识图谱进行实例化，得到目标知识图谱；在所述目标知识图谱中，根据所述函数式编程元语言推导与用户的输入内容相对应的函数组合方式。
全文数据：
权利要求：
百度查询： 中移物联网有限公司 中国移动通信集团有限公司 编程方法、装置、设备及计算机存储介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号