- Paperback: 139 pages
- Publisher: Cambridge University Press (Mar 31 1986)
- Language: English
- ISBN-10: 0521310997
- ISBN-13: 978-0521310994
- Product Dimensions: 22.8 x 15.2 x 0.8 cm
- Shipping Weight: 191 g
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
Product Details |
Product Description
Product Description
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic, Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and other dynamic systems. Since every Tempura statement is also a temporal formula, the entire temporal logic formalism can be used as the assertion language and semantics. One result is that Tempura has the two seemingly contradictory properties of being a logic programming language and having imperative constructs such as assignment statements. The presentation investigates Interval Temporal Logic, a formalism with conventional temporal operators such as next and always as well as lesser known ones such as chop. This provides the basis for Tempura. The design of an interpreter for Tempura is also included, as are a variety of sample Tempura programs illustrating how to model both hardware and software.
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Reviews
|
There are no customer reviews yet on Amazon.ca
|
||||||||||||||||||||
|
Listmania!
Look for similar items by category
- Books > Computers & Internet > Computer Science > Software Engineering > Information Systems
- Books > Computers & Internet > Hardware > Microprocessors & System Design > Computer Design
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > Logic
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > Software Development
- Books > Professional & Technical > Professional Science > Mathematics
Look for similar items by subject
Feedback
Would you like to update product info or give feedback on images?
