Name: modular compiler verification (en Inglés)
Price: 53.20 EUR
Availability: InStock
Author: müller-olm
ISBN: 9783540634065

Selecciona tu país

América

Europa

Resto del mundo

portada modular compiler verification (en Inglés)

modular compiler verification (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

müller-olm

Idioma

Inglés

N° páginas

250

ISBN

3540634061

ISBN13

9783540634065

Categorías

Compiladores e intérpretes

modular compiler verification (en Inglés)

Müller-Olm (Autor) · Springer · Libro Físico

Libro Nuevo Importado

Envío: 12 a 17 días háb.

59,11 €53,20 €

-10%

Libro Nuevo

Quedan más de 100 unidades

53,20 €

Llega entre el 13 Ago y el 24 Ago a Provincia de Madrid. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "modular compiler verification (en Inglés)"

this book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the inmos transputer. unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. the formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.