|
|
libcats.org
The Mathematical Foundation of Symbolic Trajectory EvaluationChou C.-T.In this paper we elucidate the mathematical foundation underlying both the basic and the extended forms of symbolic trajectory evaluation (STE) with emphasis on the latter. In addition, we make three contributions to the the┐ory of STE which, we believe, are new. First, we provide a satisfactory answer to the question: what does it mean for a circuit to satisfy a trajectory assertion? Second, we make the observation that STE is a form of data flow analysis and, as a corollary, propose a conceptually simple algorithm for (extended) STE. Third, we show that the ternary model of circuits used by STE is an abstract interpre┐tation of the ordinary boolean model via a Galois connection. We hope that our exposition will make SТЕ, especially its extended form, less mysterious.
Скачать книгу бесплатно (pdf, 232 Kb)
Читать «The Mathematical Foundation of Symbolic Trajectory Evaluation» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Правила русской орфографии и пунктуации. Полный академический справочникАвтор:Категория: Языкознание, Справочники
Размер книги: 1.82 Mb
Диагностика и ортопедическое лечение заболеваний височно-нижнечелюстного суставаАвтор: Петросов Ю.А.Категория: Медицина и здравоохранение
Размер книги: 5.92 Mb
Lone Wolf And Cub Volume 22: Heaven & EarthАвтор: Kazuo Koike, Автор: Goseki KojimaКатегория: Геология
Размер книги: 68.42 Mb
Play the Najdorf: Scheveningen Style--A Complete Repertoire for Black in this Most Dynamic of OpeningsАвтор: John Emms
Размер книги: 16.80 Mb
Информационное обеспечение процесса бурения: Учеб.пособиеАвтор: Акбулатов Т.О., Автор: Акчурин Х.И., Автор: Левинсон Л.М., Автор: Самигуллин В.Х.
Размер книги: 1.68 Mb
|
|
|