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.
"synopsis" may belong to another edition of this title.
Seller: Forgotten Books, London, United Kingdom
Paperback. Condition: 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. Seller Inventory # 9781332089826_0
Quantity: Over 20 available
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332089826
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LW-9781332089826
Quantity: 15 available
Seller: moluna, Greven, Germany
Condition: 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. Seller Inventory # 2147923171
Quantity: Over 20 available