Functional Reactive Programming (FRP) is a programming paradigm that describes a system
as a data flow between time-varying values, a concept that abstracts values that change …

Functional reactive programming (FRP in short) abstracts values that change over time as
time-varying values and the timing of responses as events. Using these abstractions, reactive …

Responses Sosuke Moriguchi* and Takuo Watanabe Department of Computer Science,
Tokyo Institute of Technology, Tokyo, Japan, chiguri@ acm. org, takuo@ acm. org Abstract. …

This paper presents mechanisms for describing real-time tasks in functional reactive
programming (FRP) languages for small-scale embedded systems. We have designed and …

Emfrp, a functional reactive programming (FRP) language for small-scale embedded systems,
is a DSL designed for execution in resource-constrained environments. The execution …

In this paper, we give a formalization of the behavior of the Content-Centric Networking (CCN)
protocol with parameterizing content managements. CCN is a communications …

Functional Reactive Programming (FRP) describes systems using time-varying values, which
are abstractions of values that change over time. Since actual time-varying values cannot …

We introduce a new type system to Emfrp, a functional reactive programming (FRP) language
designed for resource-constrained embedded systems. Functional reactive programming …

We describe a transformation from the legally descriptive language PROLEG to a bipolar
argumentation framework (BAF). PROLEG is a language consisting of general rules and …

PLCA is a framework for qualitative spatial reasoning that uses symbolic objects and the
relationships between them. The second and third authors introduced inductive constructions to …