Creating TransLucid

ISBN-13: 9783639108460 / Angielski / Miękka / 2009 / 152 str.

Gabriel C. Ditu

Opis

With formal foundations in intensional logic,intensional programming is an independent programmingparadigm that originated in the 1970s. Since then ithas remained an active field of research, withapplications in many areas of computer science. Thisbook presents the new intensional programminglanguage TransLucid, a low-level, purely declarativelanguage. Built on a simple algebra and with just asmall number of primitives, TransLucid programsdefine arbitrary dimensional, infinite datastructures, which are then queried to produceresults. The semantics of TransLucid are fullyspecified using operational semantics.Various extensions enrich the expressiveness of thelanguage, allowing the encoding of diverseprogramming models, the translation of imperativeprograms into TransLucid and the runtime updating ofprograms. The language TransLucid represents adecisive advance in intensional programming. With twobackground information chapters, this book shouldappeal to anyone with an interest in intensionalprogramming, declarative programming and programminglanguages in general.

O autorze

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.