会员服务
Java 是一门编程语言，拥有跨平台、面向对象、泛型编程等特性。
Twenty-five years of J-DSP Online Labs for Signal Processing Classes and Workforce Development Programs
Arxiv
0+阅读 · 2月14日
OmniCode: A Benchmark for Evaluating Software Engineering Agents
Arxiv
0+阅读 · 2月6日
LLM-Based Repair of Static Nullability Errors
Arxiv
0+阅读 · 2月6日
JMigBench: A Benchmark for Evaluating LLMs on Source Code Migration (Java 8 to Java 11)
Arxiv
0+阅读 · 2月10日
Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
Arxiv
0+阅读 · 2月4日
StoneDetector: Conventional and versatile code clone detection for Java
Arxiv
0+阅读 · 1月31日
Recursive Mutexes in Separation Logic
Arxiv
0+阅读 · 1月30日
Uncovering Hidden Inclusions of Vulnerable Dependencies in Real-World Java Projects
Arxiv
0+阅读 · 1月30日
OmniCode: A Benchmark for Evaluating Software Engineering Agents
Arxiv
0+阅读 · 2月2日
Adoption and Evolution of Code Style and Best Programming Practices in Open-Source Projects
Arxiv
0+阅读 · 1月14日
Classport: Designing Runtime Dependency Introspection for Java
Arxiv
0+阅读 · 1月23日
How do Agents Refactor: An Empirical Study
Arxiv
0+阅读 · 1月28日
RGFL: Reasoning Guided Fault Localization for Automated Program Repair Using Large Language Models
Arxiv
0+阅读 · 1月25日
Syntax Is Not Enough: An Empirical Study of Small Transformer Models for Neural Code Repair
Arxiv
0+阅读 · 2025年12月22日
Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
Arxiv
0+阅读 · 2025年12月23日
参考链接
微信扫码咨询专知VIP会员
Top