Specifying behavior in C++

Xiangtian Dai; Gregory Hager; John Peterson

doi:10.1109/ROBOT.2002.1013354

Specifying behavior in C++

Xiangtian Dai, Gregory Hager, John Peterson

Whiting School of Engineering

Research output: Contribution to journal › Article › peer-review

6 Scopus citations

Abstract

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 definitions of behavior, 2) specification 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.

Original language	English (US)
Pages (from-to)	153-160
Number of pages	8
Journal	Proceedings - IEEE International Conference on Robotics and Automation
Volume	1
DOIs	https://doi.org/10.1109/ROBOT.2002.1013354
State	Published - May 2002

ASJC Scopus subject areas

Software
Control and Systems Engineering
Artificial Intelligence
Electrical and Electronic Engineering

Access to Document

10.1109/ROBOT.2002.1013354

Cite this

@article{76f6c626beed4db9a844c35a8a4689c6,

title = "Specifying behavior in C++",

abstract = "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 definitions of behavior, 2) specification 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.",

author = "Xiangtian Dai and Gregory Hager and John Peterson",

year = "2002",

month = may,

doi = "10.1109/ROBOT.2002.1013354",

language = "English (US)",

volume = "1",

pages = "153--160",

journal = "Proceedings - IEEE International Conference on Robotics and Automation",

issn = "1050-4729",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Specifying behavior in C++

AU - Dai, Xiangtian

AU - Hager, Gregory

AU - Peterson, John

PY - 2002/5

Y1 - 2002/5

N2 - 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 definitions of behavior, 2) specification 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.

AB - 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 definitions of behavior, 2) specification 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.

UR - http://www.scopus.com/inward/record.url?scp=0036055521&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0036055521&partnerID=8YFLogxK

U2 - 10.1109/ROBOT.2002.1013354

DO - 10.1109/ROBOT.2002.1013354

M3 - Article

AN - SCOPUS:0036055521

SN - 1050-4729

VL - 1

SP - 153

EP - 160

JO - Proceedings - IEEE International Conference on Robotics and Automation

JF - Proceedings - IEEE International Conference on Robotics and Automation

ER -

Specifying behavior in C++

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this