:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Akingbade, Joshua, Yang, Jianhua, Seyedebrahimi, Mir
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2506.00404
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Public Engagement in Action: Developing an Introductory Programming Module for Apprentices
di: Yang, Jianhua, et al.
Pubblicazione: (2024)

AI-Driven Contribution Evaluation and Conflict Resolution: A Framework & Design for Group Workload Investigation
di: Slapek, Jakub, et al.
Pubblicazione: (2025)

VocalTweets: Investigating Social Media Offensive Language Among Nigerian Musicians
di: Oluyele, Sunday, et al.
Pubblicazione: (2024)

NExT: Teaching Large Language Models to Reason about Code Execution
di: Ni, Ansong, et al.
Pubblicazione: (2024)

How Programming Concepts and Neurons Are Shared in Code Language Models
di: Kargaran, Amir Hossein, et al.
Pubblicazione: (2025)

Searching by Code: a New SearchBySnippet Dataset and SnippeR Retrieval Model for Searching by Code Snippets
di: Sedykh, Ivan, et al.
Pubblicazione: (2023)

Bridging the Knowledge Void: Inference-time Acquisition of Unfamiliar Programming Languages for Coding Tasks
di: Shen, Chen, et al.
Pubblicazione: (2026)

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
di: Donyina, Adwoa, et al.
Pubblicazione: (2025)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
di: Mora, Federico, et al.
Pubblicazione: (2024)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
di: Abdelrazek, Zeyad, et al.
Pubblicazione: (2026)

Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
di: Zhang, William, et al.
Pubblicazione: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
di: Ren, Xiaoning, et al.
Pubblicazione: (2025)

A Systematic Mapping Study on Teaching of Security Concepts in Programming Courses
di: Torbunova, Alina, et al.
Pubblicazione: (2024)

Teaching Introductory Functional Programming Using Haskelite
di: Vasconcelos, Pedro
Pubblicazione: (2025)

CodeMind: Evaluating Large Language Models for Code Reasoning
di: Liu, Changshu, et al.
Pubblicazione: (2024)

CodeBoost: Boosting Code LLMs by Squeezing Knowledge from Code Snippets with RL
di: Wang, Sijie, et al.
Pubblicazione: (2025)

AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation
di: Sun, Zhensu, et al.
Pubblicazione: (2024)

Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
di: Cassano, Federico, et al.
Pubblicazione: (2023)

Agnostics: Learning to Code in Any Programming Language via Reinforcement with a Universal Learning Environment
di: Boruch-Gruszecki, Aleksander, et al.
Pubblicazione: (2025)

PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models
di: Chen, Simin, et al.
Pubblicazione: (2024)

Exploiting Code Symmetries for Learning Program Semantics
di: Pei, Kexin, et al.
Pubblicazione: (2023)

Refactoring Programs Using Large Language Models with Few-Shot Examples
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

Extensibility in Programming Languages: An overview
di: Nicolajsen, Sebastian mateos
Pubblicazione: (2025)

Multi-Language Probabilistic Programming
di: Stites, Sam, et al.
Pubblicazione: (2025)

Profiling Programming Language Learning
di: Crichton, Will, et al.
Pubblicazione: (2024)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
di: Huang, Siming, et al.
Pubblicazione: (2024)

AutoCode: LLMs as Problem Setters for Competitive Programming
di: Zhou, Shang, et al.
Pubblicazione: (2025)

A Programming Language for Feasible Solutions
di: Chen, Weijun, et al.
Pubblicazione: (2025)

A Multilingual Python Programming Language
di: Bazaz, Saad Ahmed, et al.
Pubblicazione: (2025)

From Program Logics to Language Logics
di: Cimini, Matteo
Pubblicazione: (2024)

Validating AI-Generated Code with Live Programming
di: Ferdowsi, Kasra, et al.
Pubblicazione: (2023)

The IsalProgram Programming Language
di: López-Rubio, Ezequiel
Pubblicazione: (2026)

Teaching LLMs Program Semantics via Symbolic Execution Traces
di: Bayer, Jonas, et al.
Pubblicazione: (2026)

A Brief Overview of the Pawns Programming Language
di: Naish, Lee
Pubblicazione: (2024)

Compilation Semantics for a Programming Language with Versions
di: Tanabe, Yudai, et al.
Pubblicazione: (2023)

Leroy: Library Learning for Imperative Programming Languages
di: Bellur, Abhiram, et al.
Pubblicazione: (2024)

Programming Language Case Studies Can Be Deep
di: Bohrer, Rose
Pubblicazione: (2024)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
di: Lin, Zhengyao, et al.
Pubblicazione: (2023)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
di: Oliveira, Francisco, et al.
Pubblicazione: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
di: Abounegm, Abdelrahman, et al.
Pubblicazione: (2024)