Executing Temporal Logic Programs ebook download
Executing Temporal Logic Programs. Ben C. Moszkowski
Download Executing Temporal Logic Programs
Executing Temporal Logic Programs Ben C. Moszkowski ebook pdf
Publisher: Cambridge University Press
Language: English
Page: 125
ISBN: 0521310997, 9780521310994
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.
MORE EBOOKS:General Washington's Army: 1779-83 download ebook
Rich Dad Poor Dad download pdf Tags: Executing Temporal Logic Programs ebook pdf
Executing Temporal Logic Programs ebook djvu
Executing Temporal Logic Programs ebook epub
Download Executing Temporal Logic Programs free pdf
Executing Temporal Logic Programs download pdf
Executing Temporal Logic Programs download epub
Executing Temporal Logic Programs download djvu
Download Executing Temporal Logic Programs ebook pdf
Read Executing Temporal Logic Programs online book
Executing Temporal Logic Programs free ebook
Executing Temporal Logic Programs cheap ebook for kindle and nook
Executing Temporal Logic Programs download book
Ben C. Moszkowski ebooks
Executing Temporal Logic Programs download pdf rapidshare mediafire fileserve 4shared torrent