Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
Fuente:
arXiv
Saved in:
| Main Authors: | Nongkhai, Lalita Na, Wang, Jingyun, Mendori, Takahiko |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Evaluating adaptive and generative AI-based feedback and recommendations in a knowledge-graph-integrated programming learning system
by: Nongkhai, Lalita Na, et al.
Published: (2026)
by: Nongkhai, Lalita Na, et al.
Published: (2026)
Evaluating the Language-Based Security for Plugin Development
by: Liang, Naisheng, et al.
Published: (2024)
by: Liang, Naisheng, et al.
Published: (2024)
Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
by: Zhang, Yimin, et al.
Published: (2024)
by: Zhang, Yimin, et al.
Published: (2024)
Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)
by: Crichton, Will, et al.
Published: (2024)
Transition-Oriented Programming: Developing Provably Correct Systems
by: Ding, Yepeng
Published: (2020)
by: Ding, Yepeng
Published: (2020)
Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
by: Cherny-Shahar, Tsvi, et al.
Published: (2024)
by: Cherny-Shahar, Tsvi, et al.
Published: (2024)
Leroy: Library Learning for Imperative Programming Languages
by: Bellur, Abhiram, et al.
Published: (2024)
by: Bellur, Abhiram, et al.
Published: (2024)
Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)
by: He, Yifeng, et al.
Published: (2025)
L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
by: Sun, Simeng, et al.
Published: (2025)
by: Sun, Simeng, et al.
Published: (2025)
Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
by: Barnaby, Celeste, et al.
Published: (2026)
by: Barnaby, Celeste, et al.
Published: (2026)
Partial Evaluation, Whole-Program Compilation
by: Fallin, Chris, et al.
Published: (2024)
by: Fallin, Chris, et al.
Published: (2024)
Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)
by: Nicolajsen, Sebastian mateos
Published: (2025)
Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)
by: Stites, Sam, et al.
Published: (2025)
Learning Task Decomposition to Assist Humans in Competitive Programming
by: Wen, Jiaxin, et al.
Published: (2024)
by: Wen, Jiaxin, et al.
Published: (2024)
A Programming Language for Feasible Solutions
by: Chen, Weijun, et al.
Published: (2025)
by: Chen, Weijun, et al.
Published: (2025)
A Multilingual Python Programming Language
by: Bazaz, Saad Ahmed, et al.
Published: (2025)
by: Bazaz, Saad Ahmed, et al.
Published: (2025)
From Program Logics to Language Logics
by: Cimini, Matteo
Published: (2024)
by: Cimini, Matteo
Published: (2024)
Schema Evolution in Interactive Programming Systems
by: Edwards, Jonathan, et al.
Published: (2024)
by: Edwards, Jonathan, et al.
Published: (2024)
Censor Resistant Instruction Independent Obfuscation for Multiple Programs
by: Ajorian, Ali
Published: (2025)
by: Ajorian, Ali
Published: (2025)
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)
by: Oliveira, Francisco, et al.
Published: (2025)
Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)
by: Wang, Di, et al.
Published: (2023)
Using Code Snippets to Teach Programming Languages
by: Akingbade, Joshua, et al.
Published: (2025)
by: Akingbade, Joshua, et al.
Published: (2025)
A Brief Overview of the Pawns Programming Language
by: Naish, Lee
Published: (2024)
by: Naish, Lee
Published: (2024)
Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)
by: Tanabe, Yudai, et al.
Published: (2023)
Programming Language Case Studies Can Be Deep
by: Bohrer, Rose
Published: (2024)
by: Bohrer, Rose
Published: (2024)
Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
by: Marron, Mark
Published: (2024)
by: Marron, Mark
Published: (2024)
An Intermediate Program Representation for Optimizing Stream-Based Languages
by: Baumeister, Jan, et al.
Published: (2025)
by: Baumeister, Jan, et al.
Published: (2025)
Active Learning for Neurosymbolic Program Synthesis
by: Barnaby, Celeste, et al.
Published: (2025)
by: Barnaby, Celeste, et al.
Published: (2025)
Functional Programming in Learning Electromagnetic Theory
by: Walck, Scott N.
Published: (2024)
by: Walck, Scott N.
Published: (2024)
Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
by: Li, Feifei, et al.
Published: (2026)
by: Li, Feifei, et al.
Published: (2026)
Sound Interval-Based Synthesis for Probabilistic Programs
by: Espada, Guilherme, et al.
Published: (2025)
by: Espada, Guilherme, et al.
Published: (2025)
Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems
by: Younis, Ed
Published: (2025)
by: Younis, Ed
Published: (2025)
Hercules: A Compiler for Productive Programming of Heterogeneous Systems
by: Arbore, Russel, et al.
Published: (2025)
by: Arbore, Russel, et al.
Published: (2025)
Program Analysis via Multiple Context Free Language Reachability
by: Conrado, Giovanna Kobus, et al.
Published: (2024)
by: Conrado, Giovanna Kobus, et al.
Published: (2024)
Data-Driven Invariant Learning for Probabilistic Programs
by: Bao, Jialu, et al.
Published: (2021)
by: Bao, Jialu, et al.
Published: (2021)
Minuska: Towards a Formally Verified Programming Language Framework
by: Tušil, Jan, et al.
Published: (2024)
by: Tušil, Jan, et al.
Published: (2024)
Meerkat: A Distributed Reactive Programming Language with Live Updates
by: Zhong, Heng, et al.
Published: (2024)
by: Zhong, Heng, et al.
Published: (2024)
Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
by: Marowka, Ami
Published: (2026)
by: Marowka, Ami
Published: (2026)
Example-Based Reasoning about the Realizability of Polymorphic Programs
by: Mulleners, Niek, et al.
Published: (2024)
by: Mulleners, Niek, et al.
Published: (2024)
Dataflow-Based Optimization for Quantum Intermediate Representation Programs
by: Luo, Junjie, et al.
Published: (2024)
by: Luo, Junjie, et al.
Published: (2024)
Similar Items
-
Evaluating adaptive and generative AI-based feedback and recommendations in a knowledge-graph-integrated programming learning system
by: Nongkhai, Lalita Na, et al.
Published: (2026) -
Evaluating the Language-Based Security for Plugin Development
by: Liang, Naisheng, et al.
Published: (2024) -
Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
by: Zhang, Yimin, et al.
Published: (2024) -
Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024) -
Transition-Oriented Programming: Developing Provably Correct Systems
by: Ding, Yepeng
Published: (2020)