In this paper, we introduce a new functional reactive programming (FRP) language Emfrp
designed to support small-scale embedded systems. An Emfrp program defines a system as …

The reactive programming paradigm aims to simplify the development of reactive systems. It
provides abstractions to define time-changing values that are automatically updated by the …

This paper presents the design of a simple context-oriented programming extension to
Emfrp, a purely functional reactive programming language for resource-constrained …

Céu is a synchronous language targeting soft real-time systems. It is inspired by Esterel and
has a simple semantics with fine-grain control over program execution. Céu uses an event …

Preprogramming of tasks still plays an important role in complex robotic systems despite the
advances in automated planning and symbolic learning. Often, it is desired that end-users …

Functional reactive programming (FRP) is a programming paradigm for reactive systems
based on functional abstractions expressing time-varying values and events. In this paper …

This paper describes a reflective extension to Emfrp, a functional reactive programming
language designed for resource-constrained embedded systems. The primary purpose of …

The semantics of current multimedia languages is informal and may lead to the development
of ambiguous applications. In this paper we investigate the use of the synchronous …

Céu is a synchronous programming language for embedded soft real-time systems. It
focuses on control-flow safety features, such as safe shared-memory concurrency and safe …

We present a qualitative case study of rewriting the video game Pingus from C++ to the
structured synchronous reactive language CEÚ. CEÚ supports reactive control-flow …