Imagen de Portada

SGL: A Structured Graphics Language

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Chapman, Jon
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Natural Formalized Proof Language
por: Xie, Lihan, et al.
Publicado: (2024)

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

Reduction for Structured Concurrent Programs
por: Gangamreddypalli, Namratha, et al.
Publicado: (2026)

A Brief Overview of the Pawns Programming Language
por: Naish, Lee
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
por: Xu, Qiyuan, et al.
Publicado: (2025)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
por: Faro, Simone, et al.
Publicado: (2025)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
por: Chen, Yijia, et al.
Publicado: (2024)

Extensibility in Programming Languages: An overview
por: Nicolajsen, Sebastian mateos
Publicado: (2025)

Compilation as Multi-Language Semantics
por: Bowman, William J.
Publicado: (2025)

Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)