On the public citation graph

Thread-safe reactive programming

0 signed · 59 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11693024_20openalex-snapshot
Embedding Dynamic Dataflow in a Call-by-Value Language
inferredcites →https://doi.org/10.1007/3-540-46584-7_2openalex-snapshot
Parallel Functional Reactive Programming
inferredcites →https://doi.org/10.1007/978-1-4302-3748-8openalex-snapshot
Programming Reactive Extensions and LINQ
inferredcites →https://doi.org/10.1007/978-1-4302-3748-8_1openalex-snapshot
Introducing LINQ and Rx
inferredcites →https://doi.org/10.1007/978-3-319-68972-2_12openalex-snapshot
Quality-Aware Reactive Programming for the Internet of Things
inferredcites →https://doi.org/10.1007/978-3-642-13953-6_3openalex-snapshot
Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks
inferredcites →https://doi.org/10.1007/978-3-642-39038-8_29openalex-snapshot
Higher-Order Reactive Programming with Incremental Lists
inferredcites →https://doi.org/10.1007/978-3-642-40213-5openalex-snapshot
Fundamentals of Software Engineering
inferredcites →https://doi.org/10.1016/j.entcs.2005.12.104openalex-snapshot
Reactive Concurrent Programming Revisited
inferredcites →https://doi.org/10.1109/icpp.2011.87openalex-snapshot
Data-Driven Tasks and Their Implementation
inferredcites →https://doi.org/10.1109/tse.2018.2833109openalex-snapshot
On the Semantics of Distributed Reactive Programming: The Cost of Consistency
inferredcites →https://doi.org/10.1145/1229428.1229442openalex-snapshot
Open nesting in software transactional memory
inferredcites →https://doi.org/10.1145/1248648.1248651openalex-snapshot
A proposal for parallel self-adjusting computation
inferredcites →https://doi.org/10.1145/1639949.1640091openalex-snapshot
Flapjax
inferredcites →https://doi.org/10.1145/1640089.1640091openalex-snapshot
Flapjax
inferredcites →https://doi.org/10.1145/2038916.2038923openalex-snapshot
Incoop
inferredcites →https://doi.org/10.1145/2048066.2048101openalex-snapshot
Two for the price of one
inferredcites →https://doi.org/10.1145/2076021.2048086openalex-snapshot
Automatic fine-grain locking using shape properties
inferredcites →https://doi.org/10.1145/2103621.2103665openalex-snapshot
Higher-order functional reactive programming in bounded space
inferredcites →https://doi.org/10.1145/2103656.2103665openalex-snapshot
Higher-order functional reactive programming in bounded space
inferredcites →https://doi.org/10.1145/212433.212464openalex-snapshot
Safe locking policies for dynamic databases
inferredcites →https://doi.org/10.1145/2187671.2187677openalex-snapshot
Processing flows of information
inferredcites →https://doi.org/10.1145/223784.223785openalex-snapshot
A critique of ANSI SQL isolation levels
inferredcites →https://doi.org/10.1145/224964.224987openalex-snapshot
Software transactional memory
inferredcites →https://doi.org/10.1145/2254064.2254084openalex-snapshot
Reagents
inferredcites →https://doi.org/10.1145/2491956.2462161openalex-snapshot
Asynchronous functional reactive programming for GUIs
inferredcites →https://doi.org/10.1145/2500365.2500584openalex-snapshot
Functional reactive programming with liveness guarantees
inferredcites →https://doi.org/10.1145/2500365.2500588openalex-snapshot
Higher-order functional reactive programming without spacetime leaks
inferredcites →https://doi.org/10.1145/2501654.2501666openalex-snapshot
A survey on reactive programming
inferredcites →https://doi.org/10.1145/2577080.2577083openalex-snapshot
REScala
inferredcites →https://doi.org/10.1145/258948.258973openalex-snapshot
Functional reactive animation
inferredcites →https://doi.org/10.1145/258949.258973openalex-snapshot
Functional reactive animation
inferredcites →https://doi.org/10.1145/2611286.2611290openalex-snapshot
We have a DREAM
inferredcites →https://doi.org/10.1145/2635868.2635895openalex-snapshot
An empirical study on program comprehension with reactive programming
inferredcites →https://doi.org/10.1145/2637647.2637656openalex-snapshot
Containers and aggregates, mutators and isolates for reactive programming
inferredcites →https://doi.org/10.1145/2660193.2660240openalex-snapshot
Distributed REScala
inferredcites →https://doi.org/10.1145/2661136.2661140openalex-snapshot
Multi-Tier Functional Reactive Programming for the Web
inferredcites →https://doi.org/10.1145/2694344.2694371openalex-snapshot
iThreads
inferredcites →https://doi.org/10.1145/2892664.2892670openalex-snapshot
Emfrp: a functional reactive programming language for small-scale embedded systems
inferredcites →https://doi.org/10.1145/3276499openalex-snapshot
Distributed system development with ScalaLoci
inferredcites →https://doi.org/10.1145/78969.78972openalex-snapshot
Linearizability: a correctness condition for concurrent objects
inferredcites →https://doi.org/10.1145/857076.857078openalex-snapshot
The many faces of publish/subscribe
inferredcites →https://doi.org/10.22152/programming-journal.org/2017/1/12openalex-snapshot
Active Expressions: Basic Building Blocks for Reactive Programming
inferredcites →https://doi.org/10.22152/programming-journal.org/2018/2/5openalex-snapshot
Harmonizing Signals and Events with a Lightweight Extension to Java
inferredcites →https://doi.org/10.4230/lipics.ecoop.2018.1openalex-snapshot
Fault-tolerant Distributed Reactive Programming

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_4openalex-snapshot
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-11539-3_6openalex-snapshot
FlowMon: A Workflow-Driven Visual Tool for Automated Monitoring Script Generation
inferred← citeshttps://doi.org/10.1109/ghtc46095.2019.9033134openalex-snapshot
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City
inferred← citeshttps://doi.org/10.1145/3276499openalex-snapshot
Distributed system development with ScalaLoci
inferred← citeshttps://doi.org/10.1145/3358503.3361274openalex-snapshot
GRASS: generic reactive application-specific scheduling
inferred← citeshttps://doi.org/10.1145/3358503.3361276openalex-snapshot
Towards a statically scheduled parallel execution of an FRP language for embedded systems
inferred← citeshttps://doi.org/10.1145/3360570openalex-snapshot
A fault-tolerant programming model for distributed interactive applications
inferred← citeshttps://doi.org/10.1145/3427763.3428316openalex-snapshot
Reactive sorting networks
inferred← citeshttps://doi.org/10.1145/3563837.3568341openalex-snapshot
Distributed Persistent Signals: Architecture and Implementation
inferred← citeshttps://doi.org/10.1145/3563837.3568342openalex-snapshot
Reactive Programming on the Bare Metal: A Formal Model for a Low-Level Reactive Virtual Machine
inferred← citeshttps://doi.org/10.1145/3611096.3611101openalex-snapshot
A Graph-Based Formal Semantics of Reactive Programming from First Principles
inferred← citeshttps://doi.org/10.1145/3618305.3623597openalex-snapshot
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
inferred← citeshttps://doi.org/10.1145/3633769openalex-snapshot
LoRe: A Programming Model for Verifiably Safe Local-first Software
inferred← citeshttps://doi.org/10.23919/ccc58697.2023.10240668openalex-snapshot
Implementation of Thread Local Storage Optimization Method Based on LoongArch
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.