2026-08-11T21:31:57Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1654 2024-03-06T11:08:11Z ddc:004 open_access

Cartesian Programming: The TransLucid Programming Language Plaice, John Mancilla, Blanca Cartesian programming Lucid language declarative programming multidimensional programming context-aware programming semantics. 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik John Plaice and Blanca Mancilla 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8271, Topological and Game-Theoretic Aspects of Infinite Computations (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08271.3 urn:nbn:de:0030-drops-16546 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08271.3 eng https://creativecommons.org/licenses/by/4.0/legalcode