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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

Model-based design of embedded control systems using Synchronous Reactive (SR) models is among the best practices for software…

2009

The study presented in this paper concerns the safe design of high-performance embedded systems, specifically dedicated to…

2006

This work inserts in the general field of collective robotics. In this paper, we present the results on the design and the…

2006

Concurrent design facilitate the programming of interactive applications such as games or simulations of virtual worlds. Java has…

2005

In this paper we present a method for automatically testing interactive multimodal systems. The proposed approach was originally…

1998

Synchronous programming is available through several formally defined languages having very different characteristics: Esterel is…

1998

We present uniform translation rules for three synchronous programming languages Lustre, Esterel and Argos, to a common…

1998

Software reliability is a major issue in the design of control architecture for robots operating in hostile or poorly known…

1994

Most real-time systems are reactive in that they maintain a continuous interaction with their environment. General purpose…

1986

There is an increasing need to add real-time capability to distributed systems. This requires real-time guarantees to be provided…