skip to main content

TransLucid: From theory to implementation

Beck, Jarryd, Computer Science & Engineering, Faculty of Engineering, UNSW

2015

Check for online availability

  • Title:
    TransLucid: From theory to implementation
  • Author/Creator/Curator: Beck, Jarryd, Computer Science & Engineering, Faculty of Engineering, UNSW
  • Subjects: Static Analysis; TransLucid; Cartesian Programming; Parallel Computation
  • Resource type: Thesis
  • Type of thesis: Ph.D.
  • Date: 2015
  • Supervisor: Plaice, John, Computer Science & Engineering, Faculty of Engineering, UNSW
  • Language: English
  • Grants: Scheme - N/A
  • Permissions: This work can be used in accordance with the Creative Commons BY-NC-ND license.
    Please see additional information at https://library.unsw.edu.au/copyright/for-researchers-and-creators/unsworks

  • Description: This thesis presents the programming language TransLucid, from itsdenotational semantics to its concrete implementation. In TransLucid, avariable denotes an intension, which is an array of arbitrary rank andinfinite extent, indexed by a multidimensional context. TransLucid isdescended from Lucid, whose development since 1974 left several open problems,all of which are solved in this thesis. These open problems are: 1) thesemantics and implementation of higher-order functions over intensions; 2) thesemantics and implementation of dimensions as first-class values, atomicvalues as dimensions, and contexts as first-class values; and 3) theimplementation of a cache-based evaluator. In addition, this thesis presents atype inference algorithm for TransLucid, and the concrete TransLucid system,which is a synchronous reactive programming environment.

Searching Remote Databases, Please Wait