Search Results - Code Type inference

Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code

Authors: Qing Huang Zhiqiang Yuan Zhenchang Xing et al.

Source: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. :1-13

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://arxiv.org/abs/2208.05361

Source Code Analysis and Type Inference for R

Authors: Ulle, Nick

Subject Terms: Statistics, Computer science, code analysis, R, statistical computing, type inference

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/6rw2f7wn
https://escholarship.org/content/qt6rw2f7wn/qt6rw2f7wn.pdf

Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code

Authors: Huang, Qing Yuan, Zhiqiang Xing, Zhenchang et al.

Index Terms: Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/2208.05361

FQN Inference in Partial Code by Prompt-tuned Language Model of Code.

Authors: Huang, Qing Yuan, Zhiqiang Xing, Zhenchang et al.

Source: ACM Transactions on Software Engineering & Methodology; Feb2024, Vol. 33 Issue 2, p1-32, 32p

Subject Terms: LANGUAGE models, INFERENCE (Logic), PROGRAMMING languages, WEB development, SOURCE code, BLOCK ciphers

RepFTI: Representation-Fused Function-Type Inference for Vehicular Secure Software Systems

Authors: Xiaoyu Yi Gaolei Li Jianhua Li et al.

Source: Applied Sciences, Vol 14, Iss 11, p 4502 (2024)

Subject Terms: function-type inference, mutli-representation, code semantic learning, deep learning, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

File Description: electronic resource

Relation: https://www.mdpi.com/2076-3417/14/11/4502; https://doaj.org/toc/2076-3417

Access URL: https://doaj.org/article/040a7ef3e9814109b1b72639d76d2669

Polymorphic type inference for machine code

Authors: Matt Noonan David Cok Alexey Loginov

Source: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. :27-41

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.2, D.2.7, D.3.3, F.4.3, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Access URL: http://dl.acm.org/ft_gateway.cfm?id=2908119&type=pdf
http://arxiv.org/abs/1603.05495
https://dl.acm.org/doi/10.1145/2908080.2908119
https://core.ac.uk/display/42692174
https://dblp.uni-trier.de/db/journals/corr/corr1603.html#NoonanLC16
https://arxiv.org/abs/1603.05495
https://arxiv.org/pdf/1603.05495v2
https://dl.acm.org/doi/pdf/10.1145/2908080.2908119

A Java Compiler Plugin for Type-Safe Inferences in Generics

Authors: Neha Kumari Rajeev Kumar

Source: Journal of Universal Computer Science, Vol 31, Iss 4, Pp 312-337 (2025)

Subject Terms: Java Generics, Plugin, Type Argument Inference, Ty, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lib.jucs.org/article/106159/download/pdf/; https://lib.jucs.org/article/106159/download/xml/; https://lib.jucs.org/article/106159/; https://doaj.org/toc/0948-6968

Access URL: https://doaj.org/article/bbd7effcc61141dd92bf9cd22abaa6fd

FQN Inference in Partial Code by Prompt-tuned Language Model of Code

Authors: Qing Huang Zhiqiang Yuan Zhenchang Xing et al.

Source: ACM Transactions on Software Engineering and Methodology. 33:1-32

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Polymorphic Type Inference for Machine Code

Authors: Noonan, Matthew Loginov, Alexey Cok, David

Index Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science, F.3.2, D.2.7, D.3.3, F.4.3, text

URL: http://arxiv.org/abs/1603.05495

Beyond Memorization: Evaluating the True Type Inference Capabilities of LLMs for Java Code Snippets

Authors: Dong, Yiwen Xu, Zhenyang Tian, Yongqiang et al.

Index Terms: Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/2503.04076

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code

Authors: Smith, Ian

Index Terms: Computer Science - Programming Languages, D.3.1, F.3.2, text

URL: http://arxiv.org/abs/2409.01841

Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code

Authors: Miranda, Brando Shinnar, Avi Pestun, Vasily et al.

Index Terms: Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Symbolic Computation, text

URL: http://arxiv.org/abs/2304.10500

Source Code Analysis and Type Inference for R

Authors: Temple Lang, Duncan Ulle, Nick

Index Terms: Statistics, Computer science, code analysis, R, statistical computing, type inference, publication

URL: https://escholarship.org/uc/item/6rw2f7wn
https://escholarship.org/content/qt6rw2f7wn/qt6rw2f7wn.pdf

SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets

Authors: Dong, Yiwen Gu, Tianxiao Tian, Yongqiang et al.

Index Terms: Automated repair, Constraint satisfaction, Datalog, Type inference, Conference paper

URL: http://repository.hkust.edu.hk/ir/Record/1783.1-136192
https://doi.org/10.1145/3510003.3510061
http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=0270-5257&rft.volume=2022-May&rft.issue=&rft.date=2022&rft.spage=1982&rft.aulast=Dong&rft.aufirst=Yiwen&rft.atitle=SnR%3A+Constraint-Based+Type+Inference+for+Incomplete+Java+Code+Snippets&rft.title=Proceedings+-+International+Conference+on+Software+Engineering
http://www.scopus.com/record/display.url?eid=2-s2.0-85133524525&origin=inward
http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000832185400160

PyHintSearch: Validated Combinatorial Search for Probabilistic Type Inference Models

Authors: Bekooy, Mark (author)

Index Terms: validated combinatorial search, probabilistic type inference, static analysis, type annotations, python, call graphs, machine learning type inference, master thesis

URL: http://resolver.tudelft.nl/uuid:49649809-5cd3-49a2-89d0-943708211660

iJTyper: An Iterative Type Inference Framework for Java by Integrating Constraint- and Statistically-based Methods

Authors: Chen, Zhixiang Li, Anji Zhang, Neng et al.

Index Terms: Computer Science - Software Engineering, text

URL: http://arxiv.org/abs/2402.09995

Type Inference for Isabelle2Cpp

Authors: Jiang, Dongchen Fu, Chenxi

Index Terms: Computer Science - Logic in Computer Science, 68N30, D.2.4, text

URL: http://arxiv.org/abs/2404.18067

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

Authors: Chen, Yijia Parreaux, Lionel Emile Vincent

Index Terms: Deforestation, Elaboration, Fusion, Optimization, Type inference, Article

URL: http://repository.hkust.edu.hk/ir/Record/1783.1-140854
https://doi.org/10.1145/3674634
http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=8&rft.issue=ICFP&rft.date=2024&rft.spage=&rft.aulast=Parreaux&rft.aufirst=Lionel&rft.atitle=The+Long+Way+to+Deforestation%3A+A+Type+Inference+and+Elaboration+Technique+for+Removing+Intermediate+Data+Structures&rft.title=Proceedings+of+the+ACM+on+Programming+Languages
http://www.scopus.com/record/display.url?eid=2-s2.0-85201713340&origin=inward

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

Authors: Chen, Yijia Parreaux, Lionel

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/2410.02232

Type Inference on Executables.

Authors: CABALLERO, JUAN ZHIQIANG LIN

Source: ACM Computing Surveys; May2016, Vol. 48 Issue 4, p65:1-65:35, 35p, 3 Diagrams, 5 Charts

Subject Terms: INFERENCE engines (Computer science), SOURCE code, DEBUGGING, BINARY codes, COMPUTER software execution, DATA types (Computer science), DATA structures