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.
FREE shipping from United Kingdom to U.S.A.
Destination, rates & speedsSeller: 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
Quantity: 15 available
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