Synchronous programming language

Known as: Synchronous reactive programming, SRP, Synchronous programming languages 
A synchronous programming language is a computer programming language optimized for programming reactive systems. Computer systems can be sorted in… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Structured synchronous reactive programming (SSRP) augments classical structured programming (SP) with continuous interaction… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
 
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The design of high-performance stream-processing systems is a fast growing domain, driven by markets such like high-end TV… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Twelve years ago, P ROCEEDINGS OF THEIEEE devoted a special section to the synchronous languages. This paper discusses the… (More)
  • figure 2
  • figure 3
  • table 1
  • figure 4
  • table 2
Is this relevant?
1998
1998
We present uniform translation rules for three synchronous programming languages Lustre, Esterel and Argos, to a common… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present a new synchronous programming language named SL based on Esterel, in which hypothesis about signal presences or… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The te rm "reactive system" was introduced by David Harel and Amir Pnueli [HP85], and is now commonly accepted to designate… (More)
  • figure 3.12
  • figure 8.2
  • figure 10.3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We present the ESTEREL programming language which is especially designed to program reactive systems, that is systems which… (More)
Is this relevant?
Highly Cited
1992