On the public citation graph
Implementing reactive programs on circuits a hardware implementation of LUSTRE
0 signed · 35 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-54444-5_100openalex-snapshot
Generating efficient code from data-flow programs
inferredcites →https://doi.org/10.1007/bf02811340openalex-snapshot
A hardware implementation of pure ESTEREL
inferredcites →https://doi.org/10.1016/0167-6423(92)90005-vopenalex-snapshot
The Esterel synchronous programming language: design, semantics, implementation
inferredcites →https://doi.org/10.1109/9.53519openalex-snapshot
Hybrid dynamical systems theory and the Signal language
inferredcites →https://doi.org/10.1145/41625.41641openalex-snapshot
LUSTRE: a declarative language for real-time programming
inferredcites →https://doi.org/10.1184/r1/6609569openalex-snapshot
SML-a high level language for the design and verification of finite state machines
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/jnca.2000.0127openalex-snapshot
Implementing reactive closed-system specifications
inferred← citeshttps://doi.org/10.1007/3-540-58468-4_175openalex-snapshot
Layering of real-time distributed processes
inferred← citeshttps://doi.org/10.1007/978-3-031-52038-9_10openalex-snapshot
Hardware Implementation of OCaml Using a Synchronous Functional Language
inferred← citeshttps://doi.org/10.1007/978-3-642-57199-2_6openalex-snapshot
Models of Computation for System Design
inferred← citeshttps://doi.org/10.1007/978-94-011-4698-2_2openalex-snapshot
Models of Computation for Embedded System Design
inferred← citeshttps://doi.org/10.1007/978-94-017-7267-9_3openalex-snapshot
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-94-017-7358-4_3-1openalex-snapshot
Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems
inferred← citeshttps://doi.org/10.1007/bfb0028726openalex-snapshot
Synchronous programming of reactive systems
inferred← citeshttps://doi.org/10.1007/s10617-012-9087-9openalex-snapshot
Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions
inferred← citeshttps://doi.org/10.1016/b978-155860702-6/50009-0openalex-snapshot
Design of Embedded Systems: Formal Models, Validation, and Synthesis
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.05.013openalex-snapshot
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80437-2openalex-snapshot
Efficient compilation of array iterators for Lustre
inferred← citeshttps://doi.org/10.1049/ip-cdt:20045098openalex-snapshot
Models of computation and languages for embedded system design
inferred← citeshttps://doi.org/10.1049/ise.1994.0014openalex-snapshot
Tiger: real-time situation assessment of dynamic systems
inferred← citeshttps://doi.org/10.1109/43.766725openalex-snapshot
Hierarchical finite state machines with multiple concurrency models
inferred← citeshttps://doi.org/10.1109/5.558710openalex-snapshot
Design of embedded systems: formal models, validation, and synthesis
inferred← citeshttps://doi.org/10.1109/ecbs.1996.494537openalex-snapshot
Embedded system design: a case study
inferred← citeshttps://doi.org/10.1109/eurmic.1996.546377openalex-snapshot
A prototyping technique with an asynchronous specification language
inferred← citeshttps://doi.org/10.1109/memcod.2005.1487884openalex-snapshot
A synchronous language atwork: the story of lustre
inferred← citeshttps://doi.org/10.1109/memcod.2009.5185392openalex-snapshot
Static data-flow analysis of synchronous programs
inferred← citeshttps://doi.org/10.1109/tse.2012.85openalex-snapshot
Embedding Polychrony into Synchrony
inferred← citeshttps://doi.org/10.1145/1543820.1543822openalex-snapshot
Separate compilation for synchronous programs
inferred← citeshttps://doi.org/10.1145/3385412.3385965openalex-snapshot
The essence of Bluespec: a core language for rule-based hardware design
inferred← citeshttps://doi.org/10.1145/3607890openalex-snapshot
Proceedings of the International Conference on Embedded Software
inferred← citeshttps://doi.org/10.1186/1687-3963-2013-3openalex-snapshot
Clock refinement in imperative synchronous languages
inferred← citeshttps://doi.org/10.3233/fi-1999-402306openalex-snapshot
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
inferred← citeshttps://doi.org/10.5555/1715759.1715780openalex-snapshot
Static data-flow analysis of synchronous programs
inferred← citeshttps://doi.org/10.70675/dee6cb64z2135z4b1az944bz9d304ab4a6e1openalex-snapshot
Models, Analysis and Execution of Audio Graphs in Interactive Multimedia Systems
inferred← citeshttps://doi.org/10.70675/f617f2ebzfaf0z4326z86d2z743244d3a16bopenalex-snapshot
A synchronous functional language with integer clocks
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.