CS263 Final Projects
Spring 1996

The SR Domain, Stephen Anthony Edwards.

Abstract:
I propose to implement a new scheme for describing reactive embedded
controllers. Based on the synchronous model of time used in the Esterel
language, it will support building heterogeneous systems composed of blocks
described in other models of computation. The semantics of this domain is a
succession of least fixedpoints of continuous functions defined on a pointed
CPO that ensures determinism. I will implement this domain in the Ptolemy
prototyping environment.

The Use of Formal Analyses in Compiling for Better
Locality, Joe Darcy and Karl Czajkowski.

Types and Set Constraints, Masood Mortazavi

Extending
Matlab for Symbolic Computation,
Jianbo Shi and Trey Jackson

Abstract:
Matlab, a numerical computation language, has become an increasingly popular prototyping tool for scientist and engineers. One of the
main reason for its popularity is its simplicity. Matlab has only one data type, matrix, and all functions are build on top of matrix or matrix
operations. As a result, one no long need to think or express program at a level of each array element or array index. Instead, the
programmer is allowed to focus on the mathematical meaning of the algorithms, and write codes that are not only short but also very
readable, almost pseudocode like.
However, as a language designed mainly for numerical computation, it is very hard to do any symbolic computation that uses data
structures. In this project, we are looking at ways of extending Matlab to handle symbolic computations, while still maintaining its
simplicity. Our main idea is to add one more data type, graph, into Matlab. We feel graph, instead of pointer, is the right level of abstraction
for expressing symbolic computations, since most of data structures or symbolic algorithms are expressed in turn of graph or special form
of graph such as trees, or lists. The problem now is to define the right set of buildin functions, and constructs that allow one to express
large set of symbolic computation easily in this new language.

Language Support for Mixed Parallelism,
TzuYi Chen

VRML 2.0 (Moving Worlds) Semantics, Daishi Harada and Randy Keller

SplitJava, David Gay

A Functional Language for RealTime Multimedia Applications,
Amar Chaudhary

Brian Strand

An Algorithm and Correctness Proof for Evaluating PTAs, Zhendong Su

LRENE: A
Specification Language for GUI Semantics, Steve Fink

Abstract:
My project is the design of a specification language which describes the
semantics of a graphical user interface. The language, LRENE, gives the
programmer a syntax with which to describe common GUI tasks (e.g.,
displaying editable views of objects), control (e.g., disabling menu items
as a result of events), and structure (e.g., similarity between views).
LRENE promotes UI consistency by making consistent interfaces easier to
build, rather than harder. Because it is a highlevel description
language, LRENE allows more effort to be spent on GUI design by supporting
rapid prototyping and consistent semantics.

Languages for Specifying the Presentation of TreeStructured
Documents, Vance Maverick