会员服务
Certifying Repeatable Entry-Replay Witnesses for COBOL-to-Java Migration
Arxiv
0+阅读 · 10月19日
IRONPROOF: COBOL-to-Python Transpilation with SMT-Based Equivalence Checking
Arxiv
0+阅读 · 10月8日
SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging
Arxiv
0+阅读 · 9月1日
COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
Arxiv
0+阅读 · 4月5日
Evaluating perturbation robustness of generative systems that use COBOL code inputs
Arxiv
0+阅读 · 1月15日
Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls
Arxiv
0+阅读 · 1月18日
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
Arxiv
0+阅读 · 2025年10月31日
XMainframe: A Large Language Model for Mainframe Modernization
Arxiv
0+阅读 · 2024年8月26日
XMainframe: A Large Language Model for Mainframe Modernization
Arxiv
0+阅读 · 2024年8月12日
X-COBOL: A Dataset of COBOL Repositories
Arxiv
0+阅读 · 2023年6月8日
Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation
Arxiv
0+阅读 · 2023年4月26日
OpenCBS: An Open-Source COBOL Defects Benchmark Suite
OpenCBS: An Open-Source COBOL Defects Benchmark Suite
Arxiv
0+阅读 · 2022年6月13日
Cobol2Vec: Learning Representations of Cobol code
Arxiv
0+阅读 · 2022年1月24日
Contemporary COBOL: Developers' Perspectives on Defects and Defect Location
Arxiv
0+阅读 · 2021年7月14日
Contemporary COBOL: Developers' Perspectives on Defects and Defect Location
Arxiv
0+阅读 · 2021年5月5日
参考链接
微信扫码咨询专知VIP会员
Top