会员服务
程序员可以指在程序设计与互联网某个专业领域中的专业人士或是从事软件撰写，程序开发、维护的专业人员。
Mixing Visual and Textual Code
Arxiv
0+阅读 · 3月27日
Incremental Live Programming via Shortcut Memoization
Arxiv
0+阅读 · 3月20日
GazePrinter: Visualizing Expert Gaze to Guide Novices in a New Codebase
Arxiv
0+阅读 · 3月20日
Tracers for debugging and program exploration
Arxiv
0+阅读 · 4月10日
User Experiences with MPI RMA and ULFM in a Resilient Key-Value Store Implementation
Arxiv
0+阅读 · 4月20日
Sockeye: a language for analyzing hardware documentation
Arxiv
0+阅读 · 4月20日
Less is More Revisited: Association with Global Protocols and Multiparty Sessions
Arxiv
0+阅读 · 3月30日
Mixing Visual and Textual Code
Arxiv
0+阅读 · 3月16日
Sharing State Between Prompts and Programs
Arxiv
0+阅读 · 3月16日
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
Arxiv
0+阅读 · 3月5日
A Problem-Oriented Perspective and Anchor Verification for Code Optimization
Arxiv
0+阅读 · 2月25日
A Problem-Oriented Perspective and Anchor Verification for Code Optimization
Arxiv
0+阅读 · 2月24日
Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
Arxiv
0+阅读 · 3月4日
The Hands-Up Problem and How to Deal With It: Secondary School Teachers' Experiences of Debugging in the Classroom
Arxiv
0+阅读 · 2月18日
EvoCodeBench: A Human-Performance Benchmark for Self-Evolving LLM-Driven Coding Systems
Arxiv
0+阅读 · 2月10日
参考链接
微信扫码咨询专知VIP会员
Top