:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yildirim, Erdem, Schimpf, Albert, Wehr, Stefan, Bieniusa, Annette
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2508.00482
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Set-theoretic Types for Erlang
by: Schimpf, Albert, et al.
Published: (2023)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
by: Schimpf, Albert, et al.
Published: (2026)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
by: Bieniusa, Annette, et al.
Published: (2024)

A Datalog Framework for Conflict-Free Replicated Data Types
by: Yanakieva, Elena, et al.
Published: (2026)

CobbleDB: Modelling Levelled Storage by Composition
by: Ma, Emilie, et al.
Published: (2026)

LoRe: A Programming Model for Verifiably Safe Local-First Software
by: Haas, Julian, et al.
Published: (2023)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
by: Haas, Julian, et al.
Published: (2025)

Distributed Locking as a Data Type
by: Haas, Julian, et al.
Published: (2024)

Towards Algebraic Subtyping for Extensible Records
by: Marques, Rodrigo, et al.
Published: (2024)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

Fair Asynchronous Session Subtyping
by: Bravetti, Mario, et al.
Published: (2021)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
by: Bravetti, Mario, et al.
Published: (2025)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
by: Udomsrirungruang, Thien, et al.
Published: (2024)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
by: Udomsrirungruang, Thien, et al.
Published: (2024)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
by: Ma, Zhiyao, et al.
Published: (2025)

Semantics of Sets of Programs
by: Kim, Jinwoo, et al.
Published: (2024)

An Operational Semantics for Yul
by: Koutavas, Vasileios, et al.
Published: (2024)

Causality and Semantic Separation
by: Zhang, Anna, et al.
Published: (2026)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
by: Kahn, David M, et al.
Published: (2025)

Compilation as Multi-Language Semantics
by: Bowman, William J.
Published: (2025)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

The Simulation Semantics of Synthesisable Verilog
by: Lööw, Andreas
Published: (2025)

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

Persistent Iterators with Value Semantics
by: Li, Yihe, et al.
Published: (2026)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

Efficient Cost Bounds with Linear Maps
by: Kahn, David M, et al.
Published: (2025)

Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)

A Denotational Semantics for Quantum Loops
by: Assolini, Nicola, et al.
Published: (2025)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Semantic-Type-Guided Bug Finding
by: Qian, Kelvin, et al.
Published: (2024)

Membership Testing for Semantic Regular Expressions
by: Huang, Yifei, et al.
Published: (2024)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
by: Zhao, Jianhong, et al.
Published: (2025)

Semantically Separating Nominal Wyvern for Usability and Decidability
by: Zhu, Yu Xiang, et al.
Published: (2025)

A Refined Operational Semantics for FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
by: Bayer, Jonas, et al.
Published: (2026)

Compilation Semantics for a Programming Language with Versions
by: Tanabe, Yudai, et al.
Published: (2023)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types
by: Devriese, Dominique, et al.
Published: (2020)

Critical Semantic Properties of Music Notation Datasets
by: Lepper, Markus, et al.
Published: (2024)

Towards a Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2022)