Files in this item

FilesDescriptionFormat

application/pdf

application/pdf9416415.pdf (7MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Programming in three dimensions
Author(s):Najork, Marc-Alexander
Doctoral Committee Chair(s):Kaplan, Simon M.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:This thesis describes Cube, the first visual language to employ a three-dimensional syntax. The third dimension provides for a richer syntax, makes the language more expressive, and prepares the ground for novel, virtual-reality-based programming environments. We use dimensional extent to convey semantic meaning, or more precisely, to distinguish between logical disjunctions and conjunctions, and between sum and product types.
Cube uses the data flow metaphor as an intuitive way to describe logic programs. The semantics of the language is based on a higher-order form of Horn logic. Predicates are viewed as a special kind of terms, and are treated as first-class values. In particularly, they can be passed as arguments to other predicates, which allows us to define higher-order predicates.
Cube has a static polymorphic type system, and uses the Hindley-Milner algorithm to perform type inference. Well-typed programs are guaranteed to be type-safe.
We have implemented two Cube interpreters: An initial feasibility study, and a prototype implementation with improved interactive capabilities. Both of them exploit the implicit parallelism of the language by simulated concurrency, implemented via time-slicing.
Issue Date:1994
Type:Text
Language:English
URI:http://hdl.handle.net/2142/19189
Rights Information:Copyright 1994 Najork, Marc-Alexander
Date Available in IDEALS:2011-05-07
Identifier in Online Catalog:AAI9416415
OCLC Identifier:(UMI)AAI9416415


This item appears in the following Collection(s)

Item Statistics