Executing Temporal Logic Programs

Executing Temporal Logic Programs

English | Mar. 31, 1986 | ISBN: 0521310997 | 125 Pages | PDF | 0.50 MB

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.

Download:

http://longfiles.com/vnxt3x6pg02n/Executing_Temporal_Logic_Programs.pdf.html

[Fast Download] Executing Temporal Logic Programs


Ebooks related to "Executing Temporal Logic Programs" :
Big Data Benchmarks, Performance Optimization, and Emerging Hardwar
Vulkan Cookbook: Solutions to next gen 3D graphics API
Water level indicator with seven segement using PIC16F877A
Fundamentals of Computer Architecture and Design
Computer Engineering and Technology: 19th CCF Conference
My iPad 2 (covers iOS 5)
High-Speed Digital System Design: A Handbook of Interconnect Theory and Design Practices
Internet of Things Programming with JavaScript
Wireless OFDM Systems How to make them work?
Raspberry Pi for complete beginners
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.