Artículos relacionados a Predicate Transformer Semantics: 33 (Cambridge Tracts...

Predicate Transformer Semantics: 33 (Cambridge Tracts in Theoretical Computer Science, Series Number 33) - Tapa blanda

Manes, Ernest. G.

 
9780521616102: Predicate Transformer Semantics: 33 (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Tapa blanda
ISBN 10: 0521616107 ISBN 13: 9780521616102
Editorial: Cambridge University Press, 2008

Sinopsis

A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Cambridge University Press
Año de publicación
2008
Idioma
Inglés
ISBN 10 
0521616107
ISBN 13 
9780521616102
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
236
Contacto del fabricante
no disponible
Persona responsable
GPSR Kontakt
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania