With formal foundations in intensional logic, intensional programming is an independent programming paradigm that originated in the 1970s. 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...
With formal foundations in intensional logic, intensional programming is an independent programming paradigm that originated in the 1970s. Sin...