Introduces a Datalog framework modeling CRDT semantics as logic programs for automated analysis, property-based testing, and evaluation on a collaborative graph editing case study.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing , pages =
2 Pith papers cite this work, alongside 58 external citations. Polarity classification is still indexing.
2
Pith papers citing it
58
external citations · external index
citation-role summary
background 1
citation-polarity summary
years
2026 2roles
background 1polarities
background 1representative citing papers
Credit-based amortized analysis is sound for persistent data structures when credits are stored only on thunks, and Okasaki's debit approach receives a formal operational semantics.
citing papers explorer
-
A Datalog Framework for Conflict-Free Replicated Data Types
Introduces a Datalog framework modeling CRDT semantics as logic programs for automated analysis, property-based testing, and evaluation on a collaborative graph editing case study.
-
Persistent Amortised Analysis, Operationally
Credit-based amortized analysis is sound for persistent data structures when credits are stored only on thunks, and Okasaki's debit approach receives a formal operational semantics.