The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/25486
Record Status Checked
Record Id 25486
Title GKS-9x: A Specification of the framework
Abstract The Graphical Kernel System, GKS, was published as an International Standard in 1985, and is now being revised. Prior to exploring approaches to implementing some of the new functionality, the authors prepared a formal description of the key parts of the framework of GKS-9x which were relevant to the implementation issues which were later studied. The implementation studies are reported in the papers by Damnjanovic, Duce and Robinson. The formal description used the OBJ notation and follows the approach described in Duce and Damnjanovic. The content proposed for the revised GKS, GKS-9x, has changed since the latter paper was written, but the specification follows very similar lines.
Organisation BITD , SERC
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Report RAL Technical Reports RAL-93-061. 1993. RAL-TR-1993-061.pdf 1993