Buchumschlag

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nongkhai, Lalita Na, Wang, Jingyun, Mendori, Takahiko
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Evaluating adaptive and generative AI-based feedback and recommendations in a knowledge-graph-integrated programming learning system
von: Nongkhai, Lalita Na, et al.
Veröffentlicht: (2026)

Evaluating the Language-Based Security for Plugin Development
von: Liang, Naisheng, et al.
Veröffentlicht: (2024)

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

Profiling Programming Language Learning
von: Crichton, Will, et al.
Veröffentlicht: (2024)

Transition-Oriented Programming: Developing Provably Correct Systems
von: Ding, Yepeng
Veröffentlicht: (2020)

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

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

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
von: Sun, Simeng, et al.
Veröffentlicht: (2025)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
von: Barnaby, Celeste, et al.
Veröffentlicht: (2026)

Partial Evaluation, Whole-Program Compilation
von: Fallin, Chris, 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)

Learning Task Decomposition to Assist Humans in Competitive Programming
von: Wen, Jiaxin, et al.
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)

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

Schema Evolution in Interactive Programming Systems
von: Edwards, Jonathan, et al.
Veröffentlicht: (2024)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
von: Ajorian, Ali
Veröffentlicht: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
von: Oliveira, Francisco, et al.
Veröffentlicht: (2025)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

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

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

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

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

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

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

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

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

Sound Interval-Based Synthesis for Probabilistic Programs
von: Espada, Guilherme, et al.
Veröffentlicht: (2025)

Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
von: Younis, Ed
Veröffentlicht: (2025)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
von: Arbore, Russel, et al.
Veröffentlicht: (2025)

Program Analysis via Multiple Context Free Language Reachability
von: Conrado, Giovanna Kobus, et al.
Veröffentlicht: (2024)

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

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

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

Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
von: Marowka, Ami
Veröffentlicht: (2026)

Example-Based Reasoning about the Realizability of Polymorphic Programs
von: Mulleners, Niek, et al.
Veröffentlicht: (2024)

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
von: Luo, Junjie, et al.
Veröffentlicht: (2024)