| 1 |
Shifting the Computational Paradigm
|
|
|
|
In: DTIC AND NTIS (2004)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
A Sound Polymorphic Type System for a Dialect of C (PREPRINT)
|
|
|
|
In: DTIC (1997)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
The Design and Implementation of a Compiler for the Object-Oriented Data Manipulation Language.
|
|
|
|
In: DTIC AND NTIS (1995)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
The Pegasys Environment for Graphical Documentation of Large Programs
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Nigel: A Systemic Grammar for Text Generation.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
The METAL System. Volume I and Volume II. Appendices.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
The FSCAN Lexical Analyzer Generating System.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
The Metanovel: Writing Stories by Computer.
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
SPECIAL - A Specification and Assertion Language.
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
A Knowledgeable, Language-Independent System for Program Construction and Modification
|
|
|
|
In: DTIC AND NTIS (1975)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
SOPHIE: A Sophisticated Instructional Environment.
|
|
|
|
In: DTIC AND NTIS (1974)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
SAP: A Model for the Syntactic Analysis of Pictures
|
|
|
|
In: DTIC AND NTIS (1968)
|
|
BASE
|
|
Show details
|
|
|
|
|
