Andere Kunden interessierten sich auch für
![Creating High-Performance, Statically Type-Safe Network Applications]( "Creating High-Performance, Statically Type-Safe Network Applications")
Creating High-Performance, Statically Type-Safe Network Applications44,99 €![Creating Development Environments with Vagrant - Second Edition]( "Creating Development Environments with Vagrant - Second Edition")
Creating Development Environments with Vagrant - Second Edition38,99 €![Creating Cross-Platform C# Applications with Uno Platform]( "Creating Cross-Platform C# Applications with Uno Platform")
Creating Cross-Platform C# Applications with Uno Platform40,99 €![Linguistic Fundamentals of Creating a Parsing Program]( "Linguistic Fundamentals of Creating a Parsing Program")
Linguistic Fundamentals of Creating a Parsing Program36,99 €![The Essential Guide to Creating Multiplayer Games with Godot 4.0]( "The Essential Guide to Creating Multiplayer Games with Godot 4.0")
The Essential Guide to Creating Multiplayer Games with Godot 4.044,99 €![OSGI in Action: Creating Modular Applications in Java]( "OSGI in Action: Creating Modular Applications in Java")
OSGI in Action: Creating Modular Applications in Java53,99 €![Creating Maintainable APIs]( "Creating Maintainable APIs")
Creating Maintainable APIs33,99 €
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.
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.