:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Chapman, Jon
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2505.14690
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs
by: Zhang, Yimin, et al.
Published: (2024)

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

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

DiagrammaticLearning: A Graphical Language for Compositional Training Regimes
by: Lary, Mason, et al.
Published: (2025)

Inexpensive Timeshared Graphics on the SIGMA 7.
by: Bork, Alfred M.
Published: (1971)

Structured Prompt Language: Declarative Context Management for LLMs
by: Gong, Wen G.
Published: (2026)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
by: Liu, Shicheng, et al.
Published: (2023)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
by: Laguna, Ignacio, et al.
Published: (2024)

XGrammar: Flexible and Efficient Structured Generation Engine for Large Language Models
by: Dong, Yixin, et al.
Published: (2024)

A Graphical Interface for Category Theory Proofs in Coq
by: Chabassier, Luc
Published: (2025)

Structural Code Search using Natural Language Queries
by: Limpanukorn, Ben, et al.
Published: (2025)

SGLang: Efficient Execution of Structured Language Model Programs
by: Zheng, Lianmin, et al.
Published: (2023)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
by: Mavridou, Anastasia, et al.
Published: (2025)

Pantograph: A Fluid and Typed Structure Editor
by: Prinz, Jacob, et al.
Published: (2024)

Hybrid Structured Editing: Structures for Tools, Text for Users
by: Beckmann, Tom, et al.
Published: (2026)

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)

A Natural Formalized Proof Language
by: Xie, Lihan, et al.
Published: (2024)

LangGPT: Rethinking Structured Reusable Prompt Design Framework for LLMs from the Programming Language
by: Wang, Ming, et al.
Published: (2024)

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

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

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

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
by: Tunç, Hünkar Can, et al.
Published: (2024)

MLIR-Forge: A Modular Framework for Language Smiths
by: Ates, Berke, et al.
Published: (2026)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

A Nominal Approach to Probabilistic Separation Logic
by: Li, John M., et al.
Published: (2024)

A Language-Agnostic Logical Relation for Message-Passing Protocols
by: Zhang, Tesla, et al.
Published: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
by: Huber, Nikolaus, et al.
Published: (2025)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
by: Xu, Haoran, et al.
Published: (2024)

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

CODMAS: A Dialectic Multi-Agent Collaborative Framework for Structured RTL Optimization
by: Chang, Che-Ming, et al.
Published: (2026)

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
by: Irugalbandara, Chandra
Published: (2024)

Beyond Cons: Purely Relational Data Structures
by: Sanna, Rafaello, et al.
Published: (2025)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
by: Xu, Ziyun, et al.
Published: (2025)

A Type System for Data Privacy Compliance in Active Object Languages
by: Baramashetru, Chinmayi Prabhu, et al.
Published: (2025)

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
by: Oishi, Mebuki, et al.
Published: (2025)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
by: Acevedo, Emmanuel Suárez, et al.
Published: (2026)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

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