Copertina

SGL: A Structured Graphics Language

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Chapman, Jon
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Natural Formalized Proof Language
di: Xie, Lihan, et al.
Pubblicazione: (2024)

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

Reduction for Structured Concurrent Programs
di: Gangamreddypalli, Namratha, et al.
Pubblicazione: (2026)

A Brief Overview of the Pawns Programming Language
di: Naish, Lee
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Extensibility in Programming Languages: An overview
di: Nicolajsen, Sebastian mateos
Pubblicazione: (2025)

Compilation as Multi-Language Semantics
di: Bowman, William J.
Pubblicazione: (2025)

Multi-Language Probabilistic Programming
di: Stites, Sam, et al.
Pubblicazione: (2025)