Domain-theoretic Foundations Of Functional Programming - Tapa dura

Streicher, Thomas

 
9789812701428: Domain-theoretic Foundations Of Functional Programming
Tapa dura
ISBN 10: 9812701427 ISBN 13: 9789812701428
Editorial: World Scientific Publishing Co Pte Ltd, 2006

Sinopsis

This textbook provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. It introduces basic domain theory and the technique of logical relations as developed by Scott and Plotkin. The solution of recursive domain equations is explained in detail.A complete discussion of the famous full abstraction problem for PCF (a functional Kernel language due to Scott and Plotkin) is given including a construction of the fully abstract Milner model using Kripke logical relations.A final chapter introduces computability in Scott domains and shows that this model is fully abstract and universal for appropriate extensions of PCF by parallel language constructs.

"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
World Scientific Publishing Co Pte Ltd
Año de publicación
2006
Idioma
Inglés
ISBN 10 
9812701427
ISBN 13 
9789812701428
Encuadernación
Tapa dura
Número de páginas
132
Contacto del fabricante
no disponible
Persona responsable
no disponible