Buchumschlag

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Redmond, Patrick, Castello, Jonathan, Trilla, José Manuel Calderón, Kuper, Lindsey
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Inductive diagrams for causal reasoning
von: Castello, Jonathan, et al.
Veröffentlicht: (2023)

CRDT Emulation, Simulation, and Representation Independence
von: Liittschwager, Nathan, et al.
Veröffentlicht: (2025)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
von: Shen, Gan, et al.
Veröffentlicht: (2024)

Freer Arrows and Why You Need Them in Haskell
von: VanDomelen, Grant, et al.
Veröffentlicht: (2025)

Efficient, Portable, Census-Polymorphic Choreographic Programming
von: Bates, Mako, et al.
Veröffentlicht: (2024)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
von: Nagar, Kartik, et al.
Veröffentlicht: (2020)

Conversational Concurrency with Dataspaces and Facets
von: Caldwell, Sam, et al.
Veröffentlicht: (2025)

Reduction for Structured Concurrent Programs
von: Gangamreddypalli, Namratha, et al.
Veröffentlicht: (2026)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
von: Reitz, Antonin, et al.
Veröffentlicht: (2024)

Logical Relations for Session-Typed Concurrency
von: Balzer, Stephanie, et al.
Veröffentlicht: (2023)

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
von: Åkerblom, Beatrice, et al.
Veröffentlicht: (2024)

Dependent Session Types for Verified Concurrent Programming
von: Fu, Qiancheng, et al.
Veröffentlicht: (2025)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
von: Yang, Xiaoxiao, et al.
Veröffentlicht: (2017)

A Brief Survey of Formal Models of Concurrency
von: Averill, Charles
Veröffentlicht: (2024)

Crux, a Precise Verifier for Rust and Other Languages
von: Pernsteiner, Stuart, et al.
Veröffentlicht: (2024)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
von: Enea, Constantin, et al.
Veröffentlicht: (2023)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
von: Rasheed, Abdullah H., et al.
Veröffentlicht: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
von: Vidal, Germán
Veröffentlicht: (2023)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2026)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
von: Fedchin, Aleksandr, et al.
Veröffentlicht: (2025)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
von: Tunç, Hünkar Can, et al.
Veröffentlicht: (2024)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
von: Lochmelis, Denis, et al.
Veröffentlicht: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

Towards Concurrent Quantitative Separation Logic
von: Fesefeldt, Ira, et al.
Veröffentlicht: (2022)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Peters, Kirstin, et al.
Veröffentlicht: (2026)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
von: Flanagan, Cormac, et al.
Veröffentlicht: (2024)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Costa, Diana, et al.
Veröffentlicht: (2024)

Declarative Concurrent Data Structures
von: Raza, Aun, et al.
Veröffentlicht: (2024)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
von: Lin, Shaokai, et al.
Veröffentlicht: (2024)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
von: Le, Quang Loc
Veröffentlicht: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

The Algebra of Patterns (Extended Version)
von: Binder, David, et al.
Veröffentlicht: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2022)

Schema Evolution in Interactive Programming Systems
von: Edwards, Jonathan, et al.
Veröffentlicht: (2024)