:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hansen, René Rydhof, Larsen, Andreas Stenbæk, Askarov, Aslan
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2507.11282
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
by: Blaabjerg, Jeppe Fredsgaard, et al.
Published: (2023)

Relaxed exception semantics for Arm-A (extended version)
by: Simner, Ben, et al.
Published: (2024)

RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system
by: Tempel, Sören, et al.
Published: (2020)

Saturating automata for game semantics
by: Dixon, Alex, et al.
Published: (2023)

Data Petri Nets meet Probabilistic Programming (Extended version)
by: Kuhn, Martin, et al.
Published: (2024)

An instance of FreeCHR with refined operational semantics
by: Rechenberger, Sascha, et al.
Published: (2025)

Metadata Privacy Beyond Tunneling for Instant Messaging
by: Nelson, Boel, et al.
Published: (2022)

Higher-order bialgebraic semantics
by: Goncharov, Sergey, et al.
Published: (2024)

The generalised distribution semantics and projective families of distributions
by: Weitkämper, Felix
Published: (2022)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
by: Lööw, Andreas, et al.
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)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
by: Soldevila, Mallku, et al.
Published: (2024)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
by: Moreau, Vincent, et al.
Published: (2023)

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)

Hyper Separation Logic (extended version)
by: Gospodinov, Trayan, et al.
Published: (2026)

Operational methods in semantics
by: Amadio, Roberto M.
Published: (2025)

Härpfer's Extended Indispensability Algorithm in Z
by: Lepper, Markus, et al.
Published: (2025)

Language-Parametric Reference Synthesis (Extended)
by: Pelsmaeker, Daniel A. A., et al.
Published: (2025)

Reactive graphs in action (extended version)
by: Tinoco, David, et al.
Published: (2024)

The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)

Generic Reduction-Based Interpreters (Extended Version)
by: Bach, Casper
Published: (2025)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

The ART of Sharing Points-to Analysis (Extended Abstract)
by: Halalingaiah, Shashin, et al.
Published: (2024)

Contrasting Deadlock-Free Session Processes (Extended Version)
by: Jaramillo, Juan C., et al.
Published: (2025)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
by: Yang, Ziyi, et al.
Published: (2025)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
by: Enea, Constantin, et al.
Published: (2023)

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
by: Enea, Constantin, et al.
Published: (2026)

Minimal Session Types for the $π$-calculus (Extended Version)
by: Arslanagic, Alen, et al.
Published: (2021)

Special Delivery: Programming with Mailbox Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2023)

Effects and Coeffects in Call-By-Push-Value (Extended Version)
by: Torczon, Cassia, et al.
Published: (2023)

Grammar Repair with Examples and Tree Automata: Extended Version
by: Lee, Yunjeong, et al.
Published: (2026)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
by: Dardinier, Thibault, et al.
Published: (2024)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
by: Laurent, Théo, et al.
Published: (2023)

Practical Type-Based Taint Checking and Inference (Extended Version)
by: Karimipour, Nima, et al.
Published: (2025)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
by: Lagouvardos, Sifis, et al.
Published: (2025)

Dynamic Robustness Verification Against Weak Memory (Extended Version)
by: Margalit, Roy, et al.
Published: (2025)