Cover Image

Consistent Distributed Reactive Programming with Retroactive Computation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kamina, Tetsuo, Aotani, Tomoyuki, Masuhara, Hidehiko
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

Evolution Language Framework for Persistent Objects
by: Kamina, Tetsuo, et al.
Published: (2025)

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

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
by: Izawa, Yusuke, et al.
Published: (2025)

Meerkat: A Distributed Reactive Programming Language with Live Updates
by: Zhong, Heng, et al.
Published: (2024)

Reactive Programming without Functions
by: Oeyen, Bjarno, et al.
Published: (2024)

Functional Reactive Programming with Effects, A More Permissive Approach
by: Dabrowski, Frédéric, et al.
Published: (2025)

Memory Consistency and Program Transformations
by: Gopalakrishnan, Akshay, et al.
Published: (2024)

Simple Modal Types for Functional Reactive Programming
by: Bahr, Patrick
Published: (2025)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
by: Tekriwal, Mohit, et al.
Published: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
by: Lim, Sangho, et al.
Published: (2025)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
by: Arbore, Russel, et al.
Published: (2024)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
by: Zheng, Size, et al.
Published: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
by: Faro, Simone, et al.
Published: (2025)

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

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
by: Schulz-Rosengarten, Alexander, et al.
Published: (2024)

Relational Reactive Programming: miniKanren for the Web
by: Donahue, Evan
Published: (2024)

Consistent Updates for Scalable Microservices
by: Chait-Roth, Devora, et al.
Published: (2025)

Functional Python Programming in Introductory Computer Science Courses
by: Sunderraman, Rajshekhar
Published: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
by: Chen, Ethan, et al.
Published: (2024)

When Are Reactive Notebooks Not Reactive?
by: Zheng, Megan, et al.
Published: (2025)

Checking Consistency of Event-driven Traces
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

Verifying Sequential Consistency under Bounded Preemptions
by: Govind, R., et al.
Published: (2026)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

Causal-Consistent Reversible Debugging: Improving CauDEr
by: González-Abril, Juan José, et al.
Published: (2024)

Retrieval-Augmented Generation by Evidence Retroactivity in LLMs
by: Xiao, Liang, et al.
Published: (2025)

VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
by: Han, Vernon Toh Yan, et al.
Published: (2023)

Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks
by: Zulkifli, Kahfi S., et al.
Published: (2025)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
by: Seidel, Raphael, et al.
Published: (2024)

Verifying Asynchronous Hyperproperties in Reactive Systems
by: Beutner, Raven, et al.
Published: (2025)

Automated Computer Program Evaluation and Projects -- Our Experiences
by: Srinivasan, Bama, et al.
Published: (2024)

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

Laws of Quantum Programming
by: Ying, Mingsheng, et al.
Published: (2024)

Programming Not Only by Example
by: Peleg, Hila, et al.
Published: (2017)

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (2026)

veScale: Consistent and Efficient Tensor Programming with Eager-Mode SPMD
by: Li, Youjie, et al.
Published: (2025)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
by: Moine, Alexandre, et al.
Published: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

Computer Programming in Library Education.
by: Goehlert, Robert, et al.
Published: (1980)