|
|
libcats.org
Executing Temporal Logic ProgramsBen C. MoszkowskiTemporal 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 2 (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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
The Aral Sea EncyclopediaАвтор: Igor S. Zonn, Автор: M. Glantz, Автор: Andrey Kostianoy, Автор: Aleksey N. KosarevКатегория: Chemistry-Environmental-Material
Размер книги: 10.82 Mb
The Origins of the Christian Mystical TraditionАвтор: Andrew LouthКатегория: Academic books, Theology
Размер книги: 1.35 Mb
Brody's Human Pharmacology 5th EditionАвтор: Lynn Wecker PhD, Автор: Lynn Crespo PhD, Автор: George Dunaway PhD, Автор: Carl Faingold, Автор: Stephanie Watts PhD
Размер книги: 31.93 Mb
|
|
|