:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Heltweg, Philip, Schwarz, Georg-Daniel, Riehle, Dirk
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2505.16764
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Is spreadsheet syntax better than numeric indexing for cell selection?
von: Heltweg, Philip, et al.
Veröffentlicht: (2025)

Optimization Opportunities for Cloud-Based Data Pipeline Infrastructures
von: Jablonski, Johannes, et al.
Veröffentlicht: (2026)

Certus: A domain specific language for confidence assessment in assurance cases
von: Diemert, Simon, et al.
Veröffentlicht: (2025)

Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing
von: Georg‐Daniel Schwarz, et al.
Veröffentlicht: (2025)

Compiling the Mimosa programming language to RTOS tasks
von: Huber, Nikolaus, et al.
Veröffentlicht: (2025)

A feasible and unitary quantum programming language
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Probabilistic energy profiler for statically typed JVM-based programming languages
von: Nyholm, Joel, et al.
Veröffentlicht: (2025)

A programming language characterizing quantum polynomial time
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2022)

A formal specification of the jq language
von: Färber, Michael
Veröffentlicht: (2024)

A programming language combining quantum and classical control
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Comparing large language models and human programmers for generating programming code
von: Hou, Wenpin, et al.
Veröffentlicht: (2024)

Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts
von: Mayer, Florian, et al.
Veröffentlicht: (2024)

Reflections on the design, applications and implementations of the normative specification language eFLINT
von: van Binsbergen, L. Thomas, et al.
Veröffentlicht: (2025)

A Behavior Tree-inspired programming language for autonomous agents
von: Biggar, Oliver, et al.
Veröffentlicht: (2024)

Extending Isabelle/HOL's Code Generator with support for the Go programming language
von: Stübinger, Terru, et al.
Veröffentlicht: (2023)

Analysis of the use of the Python programming language for statistical calculations
von: Santiago Israel Logroño Naranjo
Veröffentlicht: (2022)

TPDE: A Fast Adaptable Compiler Back-End Framework
von: Schwarz, Tobias, et al.
Veröffentlicht: (2025)

Computational thinking: an analysis through structured programming using Scratch
von: Antonieta Kuz
Veröffentlicht: (2023)

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs
von: Zou, Yihao, et al.
Veröffentlicht: (2026)

Efficient compilation and execution of synchronous programs via type-state programming
von: Malik, Avinash
Veröffentlicht: (2025)

A domain-theoretic framework for conditional probability and Bayesian updating in programming
von: Di Gianantonio, Pietro, et al.
Veröffentlicht: (2025)

Situating language and music research in a domain‐specific versus domain‐general framework: A review of theoretical and empirical data
von: Katerina Drakoulaki, et al.
Veröffentlicht: (2024)

VNJPTranslate: A comprehensive pipeline for Vietnamese-Japanese translation
von: Phan, Hoang Hai, et al.
Veröffentlicht: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
von: Schwarz, Michael, et al.
Veröffentlicht: (2025)

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
von: Rodriguez-Canal, Gabriel, et al.
Veröffentlicht: (2025)

Automated Expected Cost Analysis for Quantum Programs
von: Moser, Georg, et al.
Veröffentlicht: (2026)

The nature of loops in programming
von: Meyer, Bertrand
Veröffentlicht: (2025)

FAQ-Gen: An automated system to generate domain-specific FAQs to aid content comprehension
von: Kale, Sahil, et al.
Veröffentlicht: (2024)

A universal language for finding mass spectrometry data patterns.
von: Damiani, Tito, et al.
Veröffentlicht: (2025)

Towards representation agnostic probabilistic programming
von: Fenske, Ole, et al.
Veröffentlicht: (2025)

Likelihood hacking in probabilistic program synthesis
von: Karwowski, Jacek, et al.
Veröffentlicht: (2026)

Automatic Differentiation for ML-family languages: correctness via logical relations
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2022)

Emission-GPT: A domain-specific language model agent for knowledge retrieval, emission inventory and data analysis
von: Ye, Jiashu, et al.
Veröffentlicht: (2025)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
von: Tas, Wannes, et al.
Veröffentlicht: (2026)

VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
von: Jacobs, Bart
Veröffentlicht: (2025)

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
von: Rupprecht, Sophia, et al.
Veröffentlicht: (2025)

Tracers for debugging and program exploration
von: Chiplunkar, Shardul, et al.
Veröffentlicht: (2026)

Correctness Witness Validation by Abstract Interpretation
von: Saan, Simmo, et al.
Veröffentlicht: (2023)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
von: Kaddar, Younesse, et al.
Veröffentlicht: (2023)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
von: Goldstein, Oliver, et al.
Veröffentlicht: (2024)