Cover Image

CRDT Emulation, Simulation, and Representation Independence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liittschwager, Nathan, Castello, Jonathan, Tsampas, Stelios, Kuper, Lindsey
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Inductive diagrams for causal reasoning
by: Castello, Jonathan, et al.
Published: (2023)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
by: Redmond, Patrick, et al.
Published: (2025)

Abstract Operational Methods for Call-by-Push-Value
by: Goncharov, Sergey, et al.
Published: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
by: Shen, Gan, et al.
Published: (2024)

Can you keep a secret? A new protocol for sender-side enforcement of causal message delivery
by: Tong, Yan, et al.
Published: (2026)

Bialgebraic Reasoning on Higher-Order Program Equivalence
by: Goncharov, Sergey, et al.
Published: (2024)

Bialgebraic Reasoning on Stateful Languages
by: Goncharov, Sergey, et al.
Published: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Towards a Higher-Order Bialgebraic Denotational Semantics
by: Goncharov, Sergey, et al.
Published: (2026)

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

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

Introducing Support for Move Operations in Melda CRDT
by: Brocco, Amos
Published: (2025)

Freer Arrows and Why You Need Them in Haskell
by: VanDomelen, Grant, et al.
Published: (2025)

Efficient, Portable, Census-Polymorphic Choreographic Programming
by: Bates, Mako, et al.
Published: (2024)

Internalizing Representation Independence with Univalence
by: Angiuli, Carlo, et al.
Published: (2020)

PyDiophantus Maze Game: Play It to Learn Mathematics or Implement It to Learn Game Programming in Python
by: Koupritzioti, Dimitra, et al.
Published: (2020)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
by: Damodaran, Suresh K., et al.
Published: (2025)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
by: Yan, Pengbo, et al.
Published: (2024)

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion
by: Zhang, Dylan, et al.
Published: (2024)

Custom Representations of Inductive Families
by: Theocharis, Constantine, et al.
Published: (2025)

Censor Resistant Instruction Independent Obfuscation for Multiple Programs
by: Ajorian, Ali
Published: (2025)

Big Steps in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
by: Xiong, Jing, et al.
Published: (2026)

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

Dataflow-Based Optimization for Quantum Intermediate Representation Programs
by: Luo, Junjie, et al.
Published: (2024)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
by: Bao, Jialu, et al.
Published: (2024)

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
by: DeLorenzo, Matthew, et al.
Published: (2025)

Scylla: Translating an Applicative Subset of C to Safe Rust
by: Fromherz, Aymeric, et al.
Published: (2024)

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

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
by: Leißa, Roland, et al.
Published: (2024)

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

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
by: Zilberstein, Noam, et al.
Published: (2024)

Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
by: Sundram, Shiv, et al.
Published: (2025)

Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations
by: Chen, Sibei, et al.
Published: (2024)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
by: Van der Cruysse, Jonathan, et al.
Published: (2023)

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
by: Niu, Yue, et al.
Published: (2024)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
by: Ho, Son, et al.
Published: (2024)

Generating Equivalent Representations of Code By A Self-Reflection Approach
by: Li, Jia, et al.
Published: (2024)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
by: Lohse, Janine, et al.
Published: (2026)

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