Buchumschlag

Meerkat: A Distributed Reactive Programming Language with Live Updates

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhong, Heng, Liu, Anrui
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Consistent Distributed Reactive Programming with Retroactive Computation
von: Kamina, Tetsuo, et al.
Veröffentlicht: (2025)

Reactive Programming without Functions
von: Oeyen, Bjarno, et al.
Veröffentlicht: (2024)

Functional Reactive Programming with Effects, A More Permissive Approach
von: Dabrowski, Frédéric, et al.
Veröffentlicht: (2025)

Incremental Live Programming via Shortcut Memoization
von: Kirisame, Marisa, et al.
Veröffentlicht: (2026)

BASIC: Updating a Familiar Language.
von: Eyman, David H.
Veröffentlicht: (1988)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
von: Rein, Patrick, et al.
Veröffentlicht: (2024)

A Programming Language for Feasible Solutions
von: Chen, Weijun, et al.
Veröffentlicht: (2025)

A Multilingual Python Programming Language
von: Bazaz, Saad Ahmed, et al.
Veröffentlicht: (2025)

Validating AI-Generated Code with Live Programming
von: Ferdowsi, Kasra, et al.
Veröffentlicht: (2023)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
von: Zheng, Size, et al.
Veröffentlicht: (2026)

Mapple: A Domain-Specific Language for Mapping Distributed Programs
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

A Brief Overview of the Pawns Programming Language
von: Naish, Lee
Veröffentlicht: (2024)

Profiling Programming Language Learning
von: Crichton, Will, et al.
Veröffentlicht: (2024)

Extensibility in Programming Languages: An overview
von: Nicolajsen, Sebastian mateos
Veröffentlicht: (2025)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

Towards Repository-Level Program Verification with Large Language Models
von: Zhong, Si Cheng, et al.
Veröffentlicht: (2025)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

Simple Modal Types for Functional Reactive Programming
von: Bahr, Patrick
Veröffentlicht: (2025)

Learning Task Decomposition to Assist Humans in Competitive Programming
von: Wen, Jiaxin, et al.
Veröffentlicht: (2024)

Consistent Updates for Scalable Microservices
von: Chait-Roth, Devora, et al.
Veröffentlicht: (2025)

Rel: A Programming Language for Relational Data
von: Aref, Molham, et al.
Veröffentlicht: (2025)

Leroy: Library Learning for Imperative Programming Languages
von: Bellur, Abhiram, et al.
Veröffentlicht: (2024)

Programming Language Case Studies Can Be Deep
von: Bohrer, Rose
Veröffentlicht: (2024)

Using Code Snippets to Teach Programming Languages
von: Akingbade, Joshua, et al.
Veröffentlicht: (2025)

Compilation Semantics for a Programming Language with Versions
von: Tanabe, Yudai, et al.
Veröffentlicht: (2023)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
von: Hu, Lifan
Veröffentlicht: (2025)

How Programming Concepts and Neurons Are Shared in Code Language Models
von: Kargaran, Amir Hossein, et al.
Veröffentlicht: (2025)

Weighted NetKAT: A Programming Language For Quantitative Network Verification
von: Acevedo, Emmanuel Suárez, et al.
Veröffentlicht: (2026)

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
von: Gao, Wei, et al.
Veröffentlicht: (2024)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
von: Faro, Simone, et al.
Veröffentlicht: (2025)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
von: Dong, Honghua, et al.
Veröffentlicht: (2024)

Reactive graphs in action (extended version)
von: Tinoco, David, et al.
Veröffentlicht: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Multi-Lingual Development & Programming Languages Interoperability: An Empirical Study
von: Cherny-Shahar, Tsvi, et al.
Veröffentlicht: (2024)

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

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
von: Schulz-Rosengarten, Alexander, et al.
Veröffentlicht: (2024)

PDL: A Declarative Prompt Programming Language
von: Vaziri, Mandana, et al.
Veröffentlicht: (2024)

Can Language Models Solve Olympiad Programming?
von: Shi, Quan, et al.
Veröffentlicht: (2024)

Mix-of-Language-Experts Architecture for Multilingual Programming
von: Zong, Yifan, et al.
Veröffentlicht: (2025)

Relational Reactive Programming: miniKanren for the Web
von: Donahue, Evan
Veröffentlicht: (2024)