Reactive imperative programming with dataflow constraints

  title={Reactive imperative programming with dataflow constraints},
  author={Camil Demetrescu and Irene Finocchi and Andrea Ribichini},
Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes of their environment. Researchers have long investigated how to take advantage of dataflow constraints by embedding them into procedural languages. Previous mixed imperative/dataflow systems, however, require syntactic extensions or libraries of ad hoc data types for binding the imperative program to the dataflow solver. In this paper… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 21 extracted citations

A Resilient Index Graph for Querying Large Biological Scientific Data

2017 IEEE International Congress on Big Data (BigData Congress) • 2017
View 1 Excerpt

Multi-mode P-FRP Task Scheduling

2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) • 2017
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 10 references

Principles of constraint programming

View 4 Excerpts
Highly Influenced

Introduction to Operational Semantics

The Compiler Design Handbook • 2002
View 3 Excerpts
Highly Influenced

System Design with SystemC

T. Groetker, S. Liao, G. Martin, S. Swan
Kluwer Academic Publishers, • 2002
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…