Buchumschlag

Profiling Programming Language Learning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Crichton, Will, Krishnamurthi, Shriram
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An Interactive Debugger for Rust Trait Errors
von: Gray, Gavin, et al.
Veröffentlicht: (2025)

Type-Error Ablation and AI Coding Agents
von: Krishnamurthi, Shriram, et al.
Veröffentlicht: (2026)

Conceptual Mutation Testing for Student Programming Misconceptions
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2023)

Privacy-Respecting Type Error Telemetry at Scale
von: Greenman, Ben, et al.
Veröffentlicht: (2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Leroy: Library Learning for Imperative Programming Languages
von: Bellur, Abhiram, et al.
Veröffentlicht: (2024)

Extensibility in Programming Languages: An overview
von: Nicolajsen, Sebastian mateos
Veröffentlicht: (2025)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
von: Kambhamettu, Hita, et al.
Veröffentlicht: (2026)

When Are Reactive Notebooks Not Reactive?
von: Zheng, Megan, et al.
Veröffentlicht: (2025)

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
von: Nongkhai, Lalita Na, et al.
Veröffentlicht: (2025)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

A Programming Language for Feasible Solutions
von: Chen, Weijun, et al.
Veröffentlicht: (2025)

A Multilingual Python Programming Language
von: Bazaz, Saad Ahmed, et al.
Veröffentlicht: (2025)

A Brief Overview of the Pawns Programming Language
von: Naish, Lee
Veröffentlicht: (2024)

Programming Language Case Studies Can Be Deep
von: Bohrer, Rose
Veröffentlicht: (2024)

Using Code Snippets to Teach Programming Languages
von: Akingbade, Joshua, et al.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Functional Programming in Learning Electromagnetic Theory
von: Walck, Scott N.
Veröffentlicht: (2024)

Active Learning for Neurosymbolic Program Synthesis
von: Barnaby, Celeste, et al.
Veröffentlicht: (2025)

Learning Task Decomposition to Assist Humans in Competitive Programming
von: Wen, Jiaxin, et al.
Veröffentlicht: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
von: Cherny-Shahar, Tsvi, et al.
Veröffentlicht: (2024)

Meerkat: A Distributed Reactive Programming Language with Live Updates
von: Zhong, Heng, et al.
Veröffentlicht: (2024)

Data-Driven Invariant Learning for Probabilistic Programs
von: Bao, Jialu, et al.
Veröffentlicht: (2021)

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

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
von: Hu, Lifan
Veröffentlicht: (2025)

Can Language Models Solve Olympiad Programming?
von: Shi, Quan, et al.
Veröffentlicht: (2024)

Mix-of-Language-Experts Architecture for Multilingual Programming
von: Zong, Yifan, et al.
Veröffentlicht: (2025)

Rel: A Programming Language for Relational Data
von: Aref, Molham, et al.
Veröffentlicht: (2025)

The IsalProgram Programming Language
von: López-Rubio, Ezequiel
Veröffentlicht: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
von: Vidal, Germán
Veröffentlicht: (2023)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
von: Acevedo, Emmanuel Suárez, et al.
Veröffentlicht: (2026)

Emergent Representations of Program Semantics in Language Models Trained on Programs
von: Jin, Charles, et al.
Veröffentlicht: (2023)

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
von: Zhang, Yimin, et al.
Veröffentlicht: (2024)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
von: Dong, Honghua, et al.
Veröffentlicht: (2024)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
von: Lundén, Daniel, et al.
Veröffentlicht: (2023)

Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
von: Li, Feifei, et al.
Veröffentlicht: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
von: Faro, Simone, et al.
Veröffentlicht: (2025)

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
von: van Kempen, Nicolas, et al.
Veröffentlicht: (2024)