License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-16546
URL: http://drops.dagstuhl.de/opus/volltexte/2008/1654/

Plaice, John ; Mancilla, Blanca

Cartesian Programming: The TransLucid Programming Language

pdf-format:
Dokument 1.pdf (214 KB)


Abstract

The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common programming paradigms into it, while still being fully declarative. The objects manipulated by TransLucid, called hyperdatons, are arbitrary-dimensional infinite arrays, indexed by multidimensional tuples of arbitrary types. We present the syntax, denotational and operational semantics for a simple TransLucid system, consisting of 1) a header detailing how expressions should be parsed, 2) a set of libraries of types, and operations thereon, defined in a host language, 3) a set of TransLucid equations, and 4) a TransLucid demand to be evaluated. The evaluation of a demand for an (identifier, context) pair is undertaken using eduction, where previously computed pairs are stored in a cache called a warehouse. The execution ensures that only those dimensions actually encountered during the execution of an expression are taken into account when caching intermediate results.

BibTeX - Entry

@InProceedings{plaice_et_al:DSP:2008:1654,
  author =	{John Plaice and Blanca Mancilla},
  title =	{Cartesian Programming: The TransLucid Programming Language},
  booktitle =	{Topological and Game-Theoretic Aspects of Infinite Computations},
  year =	{2008},
  editor =	{Peter Hertling and Victor Selivanov and Wolfgang Thomas and William W. Wadge and Klaus Wagner},
  number =	{08271},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2008/1654},
  annote =	{Keywords: Cartesian programming, Lucid language, declarative programming, multidimensional programming, context-aware programming, semantics.}
}

Keywords: Cartesian programming, Lucid language, declarative programming, multidimensional programming, context-aware programming, semantics.
Seminar: 08271 - Topological and Game-Theoretic Aspects of Infinite Computations
Issue date: 2008
Date of publication: 05.11.2008


DROPS-Home | Fulltext Search | Imprint Published by LZI