Excerpt from A High Level Real-Time Programming Language: October, 1984
User-defined functions Whldl are invoked on the right side of a bind or follow statement must be such that it makes sense to think of evaluating them instantaneously and continously. For example, if the function F had a side-effect of incrementing a global variable X by 1, then the statement would have to increment X infinitely often, Whld'l is not ameptable. We therefore define an instantaneous function as one where the only variables accessed are the argu ments (passed by value) and loml variables; and we require that only instantaneous functions be used on the right-hand side of a bind or follow statement.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Excerpt from A High Level Real-Time Programming Language: October, 1984
Introduction
We present here an outline of a robot programming language, COAL (COntinuous Action Language), together with a formal semantics. COAL is designed to support an abstraction of programming which can operate in a continuous fashion. Variables can change values continuously over time, execution can be instantaneously interrupted in response to an event, and so on. Such constructs must be implemented in terms of discrete steps, but COAL expresses the idealization behind the implementation, in the way that real arithmetic is the idealization behind floating point arithmetic. In this paper, we will describe the basic elements of COAL, define a formal semantics, and present a few typical programming examples. We have not yet addressed the question of implementation.
2. Overview of COAL
2.1. Variables:
COAL supports at least the following types of variables: booleans, integers, real valued vectors (elements of Rᵑ ), continuous functions from Rᵐ to Rᵑ (called "real functions"), and integer semaphores.
Certain global variables will be bound to the input and output devices of the particular robotic system. Sensor variables are associated with particular sensors. At each moment in time, the value of the variable is the current measurement of the sensor. Effector variables are associated with parameters of the robot's effectors. Changing the value of the variable causes a motion by the robot. Effector variables must therefore be generally changed continuously. The global variable clock always has the current time as its value.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerAnbieter: moluna, Greven, Deutschland
Zustand: New. KlappentextrnrnExcerpt from A High Level Real-Time Programming Language: October, 1984User-defined functions Whldl are invoked on the right side of a bind or follow statement must be such that it makes sense to think of evaluating them i. Bestandsnummer des Verkäufers 2147923171
Anzahl: Mehr als 20 verfügbar
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781332089826
Anzahl: 15 verfügbar
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781332089826
Anzahl: 15 verfügbar
Anbieter: Forgotten Books, London, Vereinigtes Königreich
Paperback. Zustand: New. Print on Demand. This book introduces a new programming language, COAL, designed for real-time applications such as robotics simulations. It combines elements from functional programming such as continuous variables and standard imperative programming such as sequential assignment. The book provides a formal semantic definition for the language that can be used to verify the correctness of programs, which is very useful for safety-critical or mission-critical applications. Overall, this book is a valuable contribution to the field of programming languages and will be of interest to researchers and practitioners alike. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Bestandsnummer des Verkäufers 9781332089826_0
Anzahl: Mehr als 20 verfügbar