Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Piton J Strother Moore

Piton

A Mechanically Verified Assembly-Level Language

Szerző: J Strother Moore
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 765 Ft
This book describes the specification and proof of a compiler for a realistically complicated assemb...

Információk a könyvről

Szerző
J Strother Moore
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
320
EAN
9789401737913
ISBN
9401737916
Enbook ID
02185989
Kiadó
Springer
Súly
510
Méretek
155 x 235 x 19

Teljes leírás

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.

Érdekelheti

Politeness and its Discontents

Peter France
47 072 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Iz istorii russkoj muzyki HH veka

Ol'ga Vladimirovna Shmakova
21 253 Ft

GYM BALL - VENTRE PLAT / DOS FORT

NICOLAS FAUVEL
5 940 Ft

Problem des Empirismus

Else Wentscher
41 715 Ft

Comportement citoyen Étude de cas des banques privées Peshawar, Pakistan

Rafia Saeed Butt
12 370 Ft