A Virtual Stack Facility for Mini-computer and Microcomputer Implementation of the Finite Element Method.
Using SR for Discrete Event Simulation: A Study in Concurrent Programming.
High-level Goal-directed Concurrent Processing in Icon.
Abstract Execution: A Technique for Efficiently Tracing Programs.
Dynamic Strings in Fortran 90.
A Graphical User Interface Server for UNIX.