一种基于类型标注的Python程序类型推导方法
授权
摘要
本发明为一种基于类型标注的Python程序类型推导方法：首先对Python程序进行类型推导；然后对同样一部分源代码进行标注等级分析，使用ranking算法对变量进行标注价值排序；接着通过ranking算法推荐进行类型标注；最后通过增加这些类型标注再次进行类型推导，并多次迭代上述过程，类型推导‑＞ranking排序‑＞类型标注‑＞类型推导‑＞...；最后产生的所有静态类型信息可以被用来优化Python的解释运行以及帮助开发者理解Python源代码程序。
基本信息
专利标题 ：
一种基于类型标注的Python程序类型推导方法
专利标题（英）：
暂无
公开（公告）号 ：
CN111694726A
申请号 ：
CN201910210830.X
公开（公告）日 ：
2020-09-22
申请日 ：
2019-03-15
授权号 ：
CN111694726B
授权日 ：
2022-04-05
发明人 ：
陈林马洪跃许蕾罗阳
申请人 ：
南京大学
申请人地址 ：
江苏省南京市仙林大道163号南京大学仙林校区
代理机构 ：
代理人 ：
优先权 ：
CN201910210830.X
主分类号 ：
G06F11/36
IPC分类号 ：
G06F11/36
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F11/00
错误检测；错误校正；监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-04-05 ：
授权
2020-10-20 ：
实质审查的生效
IPC(主分类) : G06F 11/36
申请日 : 20190315
申请日 : 20190315
2020-09-22 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
