Skip to content

Executing Temporal Logic Programs
Stock Photo: Cover May Be Different

Executing Temporal Logic Programs Paperback - 1986

by Ben C. Moszkowski


From the publisher

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.

Details

  • Title Executing Temporal Logic Programs
  • Author Ben C. Moszkowski
  • Binding Paperback
  • Pages 139
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Date 1986
  • ISBN 9780521310994 / 0521310997
  • Weight 0.42 lbs (0.19 kg)
  • Dimensions 8.98 x 5.98 x 0.31 in (22.81 x 15.19 x 0.79 cm)
  • Library of Congress subjects Logic, Symbolic and mathematical, Computer programming
  • Library of Congress Catalog Number 85031344
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

Executing Temporal Logic Programs
Stock Photo: Cover May Be Different

Executing Temporal Logic Programs

by Ben C. Moszkowski

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521310994 / 0521310997
Quantity Available
1
Seller
Morangis, France
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$7.76
A$18.62 shipping to USA

Show Details

Description:
Cambridge University Press, 1987. Paperback. Very Good. Former library book. Different cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
A$7.76
A$18.62 shipping to USA
Executing Temporal Logic Programs
Stock Photo: Cover May Be Different

Executing Temporal Logic Programs

by Moszkowski, Ben C

  • Used
Condition
Used - Good
ISBN 10 / ISBN 13
9780521310994 / 0521310997
Quantity Available
1
Seller
Waltham Abbey, Essex, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$16.05
A$17.41 shipping to USA

Show Details

Description:
Cambridge University Press. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Item Price
A$16.05
A$17.41 shipping to USA
Executing Temporal Logic Programs
Stock Photo: Cover May Be Different

Executing Temporal Logic Programs

by Ben C. Moszkowski

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521310994 / 0521310997
Quantity Available
1
Seller
Morangis, France
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$15.98
A$18.62 shipping to USA

Show Details

Description:
Cambridge University Press, 1986. Paperback. Very Good. Former library book. Different cover. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
A$15.98
A$18.62 shipping to USA
Executing Temporal Logic Programs
Stock Photo: Cover May Be Different

Executing Temporal Logic Programs

by Ben C. Moszkowski

  • Used
  • Paperback
Condition
USED Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521310994 / 0521310997
Quantity Available
1
Seller
Montclair, New Jersey, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$52.76
A$7.74 shipping to USA

Show Details

Description:
Cambridge University Press, March 1986. Paperback. USED Very Good.
Item Price
A$52.76
A$7.74 shipping to USA
Executing Temporal Logic Programs
Stock Photo: Cover May Be Different

Executing Temporal Logic Programs

by Ben C. Moszkowski

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9780521310994 / 0521310997
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
A$72.74
FREE shipping to USA

Show Details

Description:
Cambridge University Press, 1986-03-31. Paperback. Good.
Item Price
A$72.74
FREE shipping to USA