文章
103
标签
6
分类
0
LinLi's Blog
Type Infer文献综述
发表于
2023-05-24
|
更新于
2023-05-24
|
阅读量:
Hey, password is required here.
文章作者:
Lin Li
文章链接:
http://example.com/2023/05/24/Type-Infer%E6%96%87%E7%8C%AE%E7%BB%BC%E8%BF%B0/
版权声明:
本博客所有文章除特别声明外，均采用
CC BY-NC-SA 4.0
许可协议。转载请注明来自
LinLi's Blog
！
文献综述
上一篇
预训练语言模型的前世今生 - 从Word Embedding到BERT
下一篇
Static Inference Meets Deep Learning A Hybrid Type Inference Approach for Python
相关推荐
2024-04-08
深度洞察 |关于JavaScript开源生态中安全漏洞的研究
Lin Li
今日事，今日毕
文章
103
标签
6
分类
0
Follow Me
公告
This is my Blog
目录
1.
Type Infer 文献综述
1.1.
Type Infer系统分类
1.2.
总结
1.3.
具体的Type Infer工具（按照时间顺序）
1.3.1.
传统的Python IDE
1.3.2.
Pysonar （2010）
1.3.3.
Numba（2012）
1.3.4.
DeepTyper(2018)
1.3.5.
Typilus(2020)
1.3.6.
TypeWriter(2020)
1.3.7.
Type4Py(2022)
1.3.8.
HiTyper(2022)
1.3.9.
Stray (2022)
1.3.10.
TypeT5（2023）
1.3.11.
PyCType(2021)
1.4.
类型检查工具
1.4.1.
Mypy (2012）
1.4.2.
Pyre (2018)
1.4.3.
PyType (2019)
1.4.4.
Pyright (2019)
最新文章
SMT Solver Validation Empowered by Large Pre-trained Language Models
2024-10-19
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
2024-10-13
Domain Adaptation for Code Model-Based Unit Test Case Generation
2024-10-12
LPR: Large Language Models-Aided Program Reduction
2024-10-10
Understanding and Detecting SQL Function Bugs
2024-10-04
