Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ICRA
2002
IEEE

favoriteEmaildiscussreport

113views Robotics» more ICRA 2002»

Specifying Behavior in C++

13 years 9 months ago

Specifying Behavior in C++

Download www.cs.jhu.edu

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 is required to provide a continual, temporal stream of outputs. We present a reactive programming language, based on the Functional Reactive Programming paradigm, for specifying such behavior. The major attributes of this language are: 1) it provides for both synchronous and asynchronous deﬁnitions of behavior, 2) speciﬁcation is equational in nature, 3) it is type safe, and 4) it is embedded in C++. In particular the latter makes it simple to “lift” existing C++ libraries into the language.

Xiangtian Dai, Gregory D. Hager, John Peterson

Real-time Traffic

Continual Temporal Stream | ICRA 2002 | Reactive Programming | Robotics | Temporal Stream |

claim paper

Related Content

» Automatically Discovering Properties That Specify the Latent Behavior of UML Models

» Extracting behavior and dynamically generated hierarchy from SystemC models

» Behavioral consistency of C and verilog programs using bounded model checking

» Specifying and dynamically verifying address translationaware memory consistency

» Specifying and checking semantic atomicity for multithreaded programs

» cascade C Assertion Checker and Deductive Engine

» Specifying Weak Sets

» Variable Resizing for Area Improvement in Behavioral Synthesis

» SeDiTeC Testing Based on Sequence Diagrams

Post Info
More Details (n/a)

Added	15 Jul 2010
Updated	15 Jul 2010
Type	Conference
Year	2002
Where	ICRA
Authors	Xiangtian Dai, Gregory D. Hager, John Peterson

Comments (0)