Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
Fuente:
arXiv
Saved in:
| Main Authors: | Heltweg, Philip, Schwarz, Georg-Daniel, Riehle, Dirk |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Is spreadsheet syntax better than numeric indexing for cell selection?
by: Heltweg, Philip, et al.
Published: (2025)
by: Heltweg, Philip, et al.
Published: (2025)
Optimization Opportunities for Cloud-Based Data Pipeline Infrastructures
by: Jablonski, Johannes, et al.
Published: (2026)
by: Jablonski, Johannes, et al.
Published: (2026)
Certus: A domain specific language for confidence assessment in assurance cases
by: Diemert, Simon, et al.
Published: (2025)
by: Diemert, Simon, et al.
Published: (2025)
Compiling the Mimosa programming language to RTOS tasks
by: Huber, Nikolaus, et al.
Published: (2025)
by: Huber, Nikolaus, et al.
Published: (2025)
Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing
by: Georg‐Daniel Schwarz, et al.
Published: (2025)
by: Georg‐Daniel Schwarz, et al.
Published: (2025)
Probabilistic energy profiler for statically typed JVM-based programming languages
by: Nyholm, Joel, et al.
Published: (2025)
by: Nyholm, Joel, et al.
Published: (2025)
A feasible and unitary quantum programming language
by: Díaz-Caro, Alejandro, et al.
Published: (2023)
by: Díaz-Caro, Alejandro, et al.
Published: (2023)
Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts
by: Mayer, Florian, et al.
Published: (2024)
by: Mayer, Florian, et al.
Published: (2024)
A programming language characterizing quantum polynomial time
by: Hainry, Emmanuel, et al.
Published: (2022)
by: Hainry, Emmanuel, et al.
Published: (2022)
A formal specification of the jq language
by: Färber, Michael
Published: (2024)
by: Färber, Michael
Published: (2024)
Reflections on the design, applications and implementations of the normative specification language eFLINT
by: van Binsbergen, L. Thomas, et al.
Published: (2025)
by: van Binsbergen, L. Thomas, et al.
Published: (2025)
A programming language combining quantum and classical control
by: Dave, Kinnari, et al.
Published: (2025)
by: Dave, Kinnari, et al.
Published: (2025)
Comparing large language models and human programmers for generating programming code
by: Hou, Wenpin, et al.
Published: (2024)
by: Hou, Wenpin, et al.
Published: (2024)
Extending Isabelle/HOL's Code Generator with support for the Go programming language
by: Stübinger, Terru, et al.
Published: (2023)
by: Stübinger, Terru, et al.
Published: (2023)
A Behavior Tree-inspired programming language for autonomous agents
by: Biggar, Oliver, et al.
Published: (2024)
by: Biggar, Oliver, et al.
Published: (2024)
TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)
by: Schwarz, Tobias, et al.
Published: (2025)
Efficient compilation and execution of synchronous programs via type-state programming
by: Malik, Avinash
Published: (2025)
by: Malik, Avinash
Published: (2025)
SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
by: Zou, Yihao, et al.
Published: (2026)
by: Zou, Yihao, et al.
Published: (2026)
Computational thinking: an analysis through structured programming using Scratch
by: Antonieta Kuz
Published: (2023)
by: Antonieta Kuz
Published: (2023)
Analysis of the use of the Python programming language for statistical calculations
by: Santiago Israel Logroño Naranjo
Published: (2022)
by: Santiago Israel Logroño Naranjo
Published: (2022)
Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)
by: Moser, Georg, et al.
Published: (2026)
Situating language and music research in a domain‐specific versus domain‐general framework: A review of theoretical and empirical data
by: Katerina Drakoulaki, et al.
Published: (2024)
by: Katerina Drakoulaki, et al.
Published: (2024)
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
by: Schwarz, Michael, et al.
Published: (2025)
by: Schwarz, Michael, et al.
Published: (2025)
A domain-theoretic framework for conditional probability and Bayesian updating in programming
by: Di Gianantonio, Pietro, et al.
Published: (2025)
by: Di Gianantonio, Pietro, et al.
Published: (2025)
An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
by: Rodriguez-Canal, Gabriel, et al.
Published: (2025)
by: Rodriguez-Canal, Gabriel, et al.
Published: (2025)
The nature of loops in programming
by: Meyer, Bertrand
Published: (2025)
by: Meyer, Bertrand
Published: (2025)
VNJPTranslate: A comprehensive pipeline for Vietnamese-Japanese translation
by: Phan, Hoang Hai, et al.
Published: (2025)
by: Phan, Hoang Hai, et al.
Published: (2025)
Automatic Differentiation for ML-family languages: correctness via logical relations
by: Nunes, Fernando Lucatelli, et al.
Published: (2022)
by: Nunes, Fernando Lucatelli, et al.
Published: (2022)
Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
by: Tas, Wannes, et al.
Published: (2026)
by: Tas, Wannes, et al.
Published: (2026)
VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
by: Jacobs, Bart
Published: (2025)
by: Jacobs, Bart
Published: (2025)
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
by: Kaddar, Younesse, et al.
Published: (2023)
by: Kaddar, Younesse, et al.
Published: (2023)
Programming Language Case Studies Can Be Deep
by: Bohrer, Rose
Published: (2024)
by: Bohrer, Rose
Published: (2024)
FAQ-Gen: An automated system to generate domain-specific FAQs to aid content comprehension
by: Kale, Sahil, et al.
Published: (2024)
by: Kale, Sahil, et al.
Published: (2024)
Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
by: Rupprecht, Sophia, et al.
Published: (2025)
by: Rupprecht, Sophia, et al.
Published: (2025)
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
by: Niu, Yue, et al.
Published: (2024)
by: Niu, Yue, et al.
Published: (2024)
Towards representation agnostic probabilistic programming
by: Fenske, Ole, et al.
Published: (2025)
by: Fenske, Ole, et al.
Published: (2025)
Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)
by: Saan, Simmo, et al.
Published: (2023)
Likelihood hacking in probabilistic program synthesis
by: Karwowski, Jacek, et al.
Published: (2026)
by: Karwowski, Jacek, et al.
Published: (2026)
Finding $\forall\exists$ Hyperbugs using Symbolic Execution
by: Correnson, Arthur, et al.
Published: (2025)
by: Correnson, Arthur, et al.
Published: (2025)
Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
by: Walch, Armin, et al.
Published: (2026)
by: Walch, Armin, et al.
Published: (2026)
Similar Items
-
Is spreadsheet syntax better than numeric indexing for cell selection?
by: Heltweg, Philip, et al.
Published: (2025) -
Optimization Opportunities for Cloud-Based Data Pipeline Infrastructures
by: Jablonski, Johannes, et al.
Published: (2026) -
Certus: A domain specific language for confidence assessment in assurance cases
by: Diemert, Simon, et al.
Published: (2025) -
Compiling the Mimosa programming language to RTOS tasks
by: Huber, Nikolaus, et al.
Published: (2025) -
Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing
by: Georg‐Daniel Schwarz, et al.
Published: (2025)