会员服务
Java 是一门编程语言，拥有跨平台、面向对象、泛型编程等特性。
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Arxiv
0+阅读 · 6月21日
Bringing Managed Language Support to WebAssembly with External Library Linking
Arxiv
0+阅读 · 6月20日
From Empirical Evaluation to Context-Aware Enhancement: Repairing Regression Errors with LLMs
Arxiv
0+阅读 · 6月20日
CNnotator: LLM-Guided Memory Safety Annotation Synthesis
Arxiv
0+阅读 · 6月20日
DISARM: Target Electronic Device Informed Mitigation of Software Runtime Side-Channel Vulnerabilities
Arxiv
0+阅读 · 6月18日
Simulating Students' Java Programming Errors with Large Language Models
Arxiv
0+阅读 · 6月12日
Classport: Designing Runtime Dependency Introspection for Java
Arxiv
0+阅读 · 6月10日
A Minimal Executable Proof for Multi-Language Contract Traceability
Arxiv
0+阅读 · 5月27日
How do Agents Refactor: An Empirical Study
Arxiv
0+阅读 · 5月24日
MigrationBench: Repository-Level Code Migration Benchmark from Java 8
Arxiv
0+阅读 · 5月28日
LLM-based Mockless Unit Test Generation for Java
Arxiv
0+阅读 · 5月26日
Lost in Migration: Exposing Android Framework Vulnerabilities in Parallel Java-Kotlin Implementations
Arxiv
0+阅读 · 6月5日
JEDI: Java Evaluation of Declarative and Imperative Queries
Arxiv
0+阅读 · 5月22日
Binary Search Variants: A Comprehensive Analysis
Arxiv
0+阅读 · 6月11日
Mining Architectural Quality Under Agentic AI Adoption: A Causal Study of Java Repositories
Arxiv
0+阅读 · 6月11日
参考链接
微信扫码咨询专知VIP会员
Top