- We will send in 10–14 business days.
/images/books/13175151/9783639108460.jpg)
- Author: Gabriel C Ditu
- Publisher: VDM Verlag
- ISBN-10: 3639108469
- ISBN-13: 9783639108460
- Format: 15.2 x 22.9 x 0.9 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 18d.08:06:55
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Gabriel C Ditu
- Publisher: VDM Verlag
- ISBN-10: 3639108469
- ISBN-13: 9783639108460
- Format: 15.2 x 22.9 x 0.9 cm, softcover
- Language: English English
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.
Reviews