Creating TransLucid: A New Intensional Programming Language - Tapa blanda

Ditu, Gabriel C.

 
9783639108460: Creating TransLucid: A New Intensional Programming Language
Tapa blanda
ISBN 10: 3639108469 ISBN 13: 9783639108460
Editorial: VDM Verlag Dr. Müller, 2009

Sinopsis

With formal foundations in intensional logic, intensional programming is an independent programming paradigm that originated in the 1970's. Since then it has remained an active field of research, with applications in many areas of computer science. This book presents the new intensional programming language TransLucid, a low-level, purely declarative language. Built on a simple algebra and with just a small number of primitives, TransLucid programs define arbitrary dimensional, infinite data structures, which are then queried to produce results. The semantics of TransLucid are fully specified using operational semantics. Various extensions enrich the expressiveness of the language, allowing the encoding of diverse programming models, the translation of imperative programs into TransLucid and the runtime updating of programs. The language TransLucid represents a decisive advance in intensional programming. With two background information chapters, this book should appeal to anyone with an interest in intensional programming, declarative programming and programming languages in general.

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

Reseña del editor

With formal foundations in intensional logic, intensional programming is an independent programming paradigm that originated in the 1970's. Since then it has remained an active field of research, with applications in many areas of computer science. This book presents the new intensional programming language TransLucid, a low-level, purely declarative language. Built on a simple algebra and with just a small number of primitives, TransLucid programs define arbitrary dimensional, infinite data structures, which are then queried to produce results. The semantics of TransLucid are fully specified using operational semantics. Various extensions enrich the expressiveness of the language, allowing the encoding of diverse programming models, the translation of imperative programs into TransLucid and the runtime updating of programs. The language TransLucid represents a decisive advance in intensional programming. With two background information chapters, this book should appeal to anyone with an interest in intensional programming, declarative programming and programming languages in general.

Biografía del autor

BEng (Software Eng), PhD. In 2007 Gabriel was awarded a doctorate in Computer Science by the University of New South Wales, Australia. He now teaches at UNSW and is part of the Programming Languages and Systems research group.

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

Editorial
VDM Verlag Dr. Müller
Año de publicación
2009
Idioma
Inglés
ISBN 10 
3639108469
ISBN 13 
9783639108460
Encuadernación
Tapa blanda
Número de páginas
152
Contacto del fabricante
no disponible
Persona responsable
no disponible