Generating Java code pairing with ChatGPT

DOI10.1016/J.TCS.2024.114879MaRDI QIDQ6639738zbMATH OpenFDO

Authors Zelong Zhao, Nan Zhang, Bin Yu, Zhenhua Duan

Publication date 18 November 2024

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2024.114879

zbMATH Keywords

code generationlarge language modelsChatGPTiterative promptingprompt engineering

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1946732
• scientific article; zbMATH DE number 5129039
• Automated code generation of dynamic specializations: An approach based on design patterns and formal techniques
• scientific article; zbMATH DE number 1897883
• scientific article; zbMATH DE number 2084338

Cites work

• A compiler for MSVL and its applications
• A decision procedure for propositional projection temporal logic with infinite models
• Translating Xd-C programs to MSVL programs

Cited in

(1)

• ChatGPT for computational topology

This page was built for publication: Generating Java code pairing with ChatGPT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6639738)