Cover Image

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Yimin, de Sousa, Mario
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Converting IEC 61131-3 LD into SFC Using Large Language Model: Dataset and Testing
by: Zhang, Yimin, et al.
Published: (2025)

Two Approaches for Programming Education in the Domain of Graphics: An Experiment
by: Chiodini, Luca, et al.
Published: (2025)

SGL: A Structured Graphics Language
by: Chapman, Jon
Published: (2025)

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

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
by: Nongkhai, Lalita Na, et al.
Published: (2025)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
by: Xu, Shuyuan, et al.
Published: (2024)

VyZX: Formal Verification of a Graphical Quantum Language
by: Lehmann, Adrian, et al.
Published: (2023)

Training LLMs for Generating IEC 61131-3 Structured Text with Online Feedback
by: Haag, Aaron, et al.
Published: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
by: Chakraborty, Saikat, et al.
Published: (2023)

Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)

Composable Effect Handling for Programming LLM-integrated Scripts
by: Wang, Di
Published: (2025)

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

Profiling Programming Language Learning
by: Crichton, Will, et al.
Published: (2024)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)

Towards General-Purpose Data Discovery: A Programming Languages Approach
by: Kang, Andrew, et al.
Published: (2025)

Generative Explanations for Program Synthesizers
by: Nazari, Amirmohammad, et al.
Published: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
by: Zhang, Kaiwen, et al.
Published: (2026)

From Program Logics to Language Logics
by: Cimini, Matteo
Published: (2024)

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

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

LLM4Decompile: Decompiling Binary Code with Large Language Models
by: Tan, Hanzhuo, et al.
Published: (2024)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
by: Shree, Iti, et al.
Published: (2025)

A Brief Overview of the Pawns Programming Language
by: Naish, Lee
Published: (2024)

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

Programming Language Case Studies Can Be Deep
by: Bohrer, Rose
Published: (2024)

Using Code Snippets to Teach Programming Languages
by: Akingbade, Joshua, et al.
Published: (2025)

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

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
by: Fayed, Mahmoud Samir
Published: (2025)

vLLM Hook v0: A Plug-in for Programming Model Internals on vLLM
by: Ko, Ching-Yun, et al.
Published: (2026)

Polynomial Invariant Generation for Floating-Point Programs
by: Cai, Xuran, et al.
Published: (2025)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
by: Liu, Chang, et al.
Published: (2023)

Minuska: Towards a Formally Verified Programming Language Framework
by: Tušil, Jan, et al.
Published: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
by: Cherny-Shahar, Tsvi, et al.
Published: (2024)

Meerkat: A Distributed Reactive Programming Language with Live Updates
by: Zhong, Heng, et al.
Published: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
by: Hu, Lifan
Published: (2025)

Can Language Models Solve Olympiad Programming?
by: Shi, Quan, et al.
Published: (2024)

Mix-of-Language-Experts Architecture for Multilingual Programming
by: Zong, Yifan, et al.
Published: (2025)