Generating Java code pairing with ChatGPT

DOI10.1016/j.tcs.2024.114879zbMATH Open1548.6805MaRDI QIDQ6639738

Zelong Zhao, Zhenhua Duan, Bin Yu, Nan Zhang

Publication date: 18 November 2024

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

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)

Cites Work

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

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