Programmability Clause Samples

Programmability. C is the native programming language of UNIX systems. Oz will provide a C to EduSpace Accelerator Board microcode “realtime compiler” in the form of a collection of match-and-substitute equations which convert the functional specifications of the C language into either equational specifications for the EAB (in the case of recognizable transformations) or to calls to the host UNIX operating system (in the case of remote calls or unparsable transformations). Algebraic data which define constraints on behavior in the EduSpace environment will be supported by an algebraic specification language based on match-and-substitute computation. The EAB will also support languages currently incorporated into the HITL VEOS. These include LISP, C, UM (an graphic entity interaction specification tool), GL (a graphics language from Silicon Graphics), MIDI, X window protocol, and DXF graphics file format protocols.