Copertina

Hybrid Structured Editing: Structures for Tools, Text for Users

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Beckmann, Tom, Thiede, Christoph, Lincke, Jens, Hirschfeld, Robert
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
di: Rein, Patrick, et al.
Pubblicazione: (2024)

Probing the Design Space: Parallel Versions for Exploratory Programming
di: Beckmann, Tom, et al.
Pubblicazione: (2025)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
di: Rein, Patrick, et al.
Pubblicazione: (2024)

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

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

SGL: A Structured Graphics Language
di: Chapman, Jon
Pubblicazione: (2025)

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

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

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)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
di: Makor, Lukas, et al.
Pubblicazione: (2025)

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
di: He, Yang, et al.
Pubblicazione: (2025)

Hybrid Path-Sums for Hybrid Quantum Programs
di: Chareton, Christophe, et al.
Pubblicazione: (2026)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
di: Cuéllar, Santiago, et al.
Pubblicazione: (2025)

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

Mat2Boundary: Treating User-Defined Boundary Condition as SpMV for Distributed PDE Solvers on Block-Structured Grids
di: Cai, Yanzheng, et al.
Pubblicazione: (2026)

Program Structure Aware Precondition Generation
di: Dinella, Elizabeth, et al.
Pubblicazione: (2023)

Parallel Dual-Numbers Reverse AD
di: Smeding, Tom, et al.
Pubblicazione: (2022)

From High to Low: Simulating Nondeterminism and State with State
di: Tang, Wenhao, et al.
Pubblicazione: (2023)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
di: Xu, Yichen, et al.
Pubblicazione: (2025)

C Analyzer : A Static Program Analysis Tool for C Programs
di: Solanki, Rajendra Kumar
Pubblicazione: (2024)

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

Learning Structure-Aware Representations of Dependent Types
di: Kogkalidis, Konstantinos, et al.
Pubblicazione: (2024)

Monoid Structures on Indexed Containers
di: De Pascalis, Michele, et al.
Pubblicazione: (2025)

AuDaLa is Turing Complete
di: Franken, Tom T. P., et al.
Pubblicazione: (2024)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
di: Liell-Cock, Jack, et al.
Pubblicazione: (2024)

Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)

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

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

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)

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

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

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
di: Steevens, Maarten, et al.
Pubblicazione: (2026)

Structural Analysis of GRAFCET Control Specifications
di: Schnakenbeck, Aron, et al.
Pubblicazione: (2023)

Fast and Extensible Hybrid Embeddings with Micros
di: Bocirnea, Sean, et al.
Pubblicazione: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
di: Krishnan, Rahul, et al.
Pubblicazione: (2025)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
di: Böck, Markus, et al.
Pubblicazione: (2025)

CLMTracing: Black-box User-level Watermarking for Code Language Model Tracing
di: Zhang, Boyu, et al.
Pubblicazione: (2025)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
di: Zhang, Yihong, et al.
Pubblicazione: (2025)

Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
di: Jacobs, Bart
Pubblicazione: (2026)