Piton: A Mechanically Verified Assembly-Level Language

Piton: A Mechanically Verified Assembly-Level Language КНИГИ » ПРОГРАММИНГ

Автор: J Strother Moore
Название: Piton: A Mechanically Verified Assembly-Level Language
Издательство: Springer
Год: 1996
Серия: Automated Reasoning Series
ISBN: 0792339207
Язык: English
Формат: pdf
Размер: 11,4 mb
Страниц: 320

Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of the implementation has been proved by a mechanical theorem prover.

This book is about the exact meaning of the previous paragraph. What is Piton, exactly? What is the FM9001? How is Piton implemented on the FM9001? In what sense is the implementation correct? How is its correctness expressed mathematically? Ho|w is it proved? These questions are answered here. Also discussed is the evolutionary character of software, the Piton implementation in particular, and how proof plays a continuing role in its design and improvement.

Turbobit

Fil

2bay

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: daromir 30-09-2018, 18:39 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Assembly Language Succinctly Название: Assembly Language Succinctly Автор: Christopher Rose Издательство: Syncfusion Год: 2013 Формат: PDF Страниц: 132 Размер: 10,49 МБ Язык:...

PC Assembly Language Название: PC Assembly Language Автор: Paul A. Carter Издательство: Autoedici?n Год: 2006 Формат: pdf Страниц: 195 Размер: 0,7 mb. Язык: English The...

Professional Assembly Language Название: Professional Assembly Language Автор: Richard Blum Издательство: Wiley Publishing, Inc. Год: 2005 Формат: PDF Страниц: 577 Размер: 11,6 МБ...

X86 Assembly Language and C Fundamentals Название: X86 Assembly Language and C Fundamentals Автор: Joseph Cavanagh Издательство: CRC Год: 2013 Страниц: 813 Формат: True PDF Размер: 10 Mb...

The Art of Assembly Language, 2nd Edition Название: The Art of Assembly Language Автор: Randall Hyde Издательство: No Starch Press, Inc. Год: 2010 Формат: PDF Страниц: 764 Размер: 22,22 МБ...

Write Great Code, Volume 1 Название: Write Great Code, Volume 1 Автор: Randall Hyde Издательство: No Starch Press Год: 2004 Формат: EPUB Размер: 10 Мб Язык: английский /...

Low-Level Programming: C, Assembly, and Program Execution on Intel® 64 Architecture Название: Low-Level Programming: C, Assembly, and Program Execution on Intel® 64 Architecture Автор: Igor Zhirkov Издательство: Apress Год: 2017...

ARM A32 Assembly Language: 32-Bit ARM, Neon, VFP, Thumb Название: ARM A32 Assembly Language: 32-Bit ARM, Neon, VFP, Thumb Автор: Bruce Smith Издательство: BSB Год: 2017 Страниц: 338 Формат: EPUB, AZW3...

Assembly Language for x86 Processors, 6th Edition Автор: Kip R. Irvine Название: Assembly Language for x86 Processors, 6th Edition Издательство: Pearson Год: 2010 ISBN: 978-0136022121 Язык: English...

Assembly Language Step-by-Step: Programming with Linux, 3rd Edition Автор: Jeff Duntemann Название: Assembly Language Step-by-Step: Programming with Linux, 3rd Edition Издательство: Wiley Год: 2009 ISBN:...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.