Sciweavers

44 search results - page 4 / 9
» Push-pull functional reactive programming
Sort
View
ENTCS
2007
122views more  ENTCS 2007»
13 years 5 months ago
Plugging a Space Leak with an Arrow
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...
Hai Liu, Paul Hudak
SCP
2002
119views more  SCP 2002»
13 years 5 months ago
Polymorphic subtyping in O'Haskell
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
Johan Nordlander
CCE
2011
13 years 10 days ago
Optimization-based design of reactive distillation columns using a memetic algorithm
This contribution deals with the optimization of the design of reactive distillation columns by using a memetic algorithm (MA) which is a combination of an evolution strategy (ES)...
Maren Urselmann, S. Barkmann, Guido Sand, Sebastia...
DAGSTUHL
2004
13 years 6 months ago
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
Xin Li, Reinhard von Hanxleden
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
13 years 10 months ago
Specifying Behavior in C++
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
Xiangtian Dai, Gregory D. Hager, John Peterson