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...