Deep learning type inference
… When trained, DeepTyper can infer types for identifiers that the compiler’s type inference …
real-world type annotations in a large body of code. DeepTyper suggests type annotations with …
real-world type annotations in a large body of code. DeepTyper suggests type annotations with …
Static inference meets deep learning: a hybrid type inference approach for python
… information in type dependency graphs (TDGs). Based on TDGs, we can easily integrate
type inference rules in the nodes to conduct static inference and type rejection rules to inspect …
type inference rules in the nodes to conduct static inference and type rejection rules to inspect …
Pyinfer: Deep learning semantic type inference for python variables
… to train a deep neural network, which ranks each type with probabilities effectively. … deep
learning with static analysis to infer type annotations is promising. By combining deep learning …
learning with static analysis to infer type annotations is promising. By combining deep learning …
Dltpy: Deep learning type inference of python function signatures using natural language context
C Boone, N de Bruin, A Langerak… - arXiv preprint arXiv …, 2019 - arxiv.org
… high developer productivity, types need to be inferred. In this paper, we present DLTPy: a
deep learning type inference solution for the prediction of types in function signatures based on …
deep learning type inference solution for the prediction of types in function signatures based on …
DLInfer: Deep learning with static slicing for Python type inference
… a deep learning type inference technique, namely DLInfer, to automatically infer the type
infor… recurrent unit model to learn the type propagation information for inference. To validate the …
infor… recurrent unit model to learn the type propagation information for inference. To validate the …
Cross-domain evaluation of a deep learning-based type inference system
B Gruner, T Sonnekalb, TS Heinze… - 2023 IEEE/ACM 20th …, 2023 - ieeexplore.ieee.org
… Therefore, in this study, we investigate the deep learning-based type inference system … as
dataset shifts, influence the results of the type inference system. Cross-domain means that the …
dataset shifts, influence the results of the type inference system. Cross-domain means that the …
Type4Py: Practical deep similarity learning-based type inference for Python
… As retrofitting types to existing codebases is error-prone and laborious, machine learning
(ML)-based approaches have been proposed to enable automatic type inference based on …
(ML)-based approaches have been proposed to enable automatic type inference based on …
Generative type inference for python
… few-shot generative type inference approach that incorporates … (COT) prompts by translating
the type inference steps of static … Supervised type inference approaches utilizing deep learn…
the type inference steps of static … Supervised type inference approaches utilizing deep learn…
Deepinfer: Deep type inference from smart contract bytecode
… inference in other scenarios [3… type inference from the bytecode of smart contracts because
they target the source code. In this paper, we present DeepInfer, a novel deep learning-…
they target the source code. In this paper, we present DeepInfer, a novel deep learning-…
Lambdanet: Probabilistic type inference using graph neural networks
… models for Javascript and Python, but their approaches do not take advantage of deep
learning and are limited to a very restricted prediction space. Hellendoorn et al. (2018) and …
learning and are limited to a very restricted prediction space. Hellendoorn et al. (2018) and …
Gerelateerde zoekopdrachten
- probabilistic type inference
- type inference deep similarity
- deep learning static inference
- type inference system
- type inference natural language support
- type inference python dataset
- type inference code language model
- deep learning smart contracts
- type inference foreign functions
- type inference graph neural networks
- type inference knowledge base
- static type inference
- deep learning static slicing