Piton

Name: Piton
Brand: Springer Netherlands
SKU: 9780792339205
Price: 112.16 EUR
Availability: InStock

A Mechanically Verified Assembly-Level Language

Автор: J Strother Moore

Език:

Корици: С твърди корици

Издател: Springer Netherlands

Наличност: 50% вероятност

Ще претърсим света

112.16 € 219.37 лв

This book describes the specification and proof of a compiler for a realistically complicated assemb...

Информация за книгата

Автор

J Strother Moore

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1996

страници

320

EAN

9780792339205

Enbook ID

01395008

Издател

Springer Netherlands

Теглоt

733

Размери

160 x 240

Пълно описание

This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. §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? How 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. §Piton is a simple but non-trivial programming language. It provides execute-only programs, recursive subroutine call and return, stack based parameter passing, local variables, global variables and arrays, a user-visible stack for intermediate results, and seven abstract data types including integers, data addresses, program addresses and subroutine names.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Piton

A Mechanically Verified Assembly-Level Language

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също