ADA to silicon transformations: the outline of a method
This report explores the contention that a high-order language specification of a machine (such as an Ada program) can be methodically transformed into a hardware representation of that machine. One series of well-defined steps through which such transformations can take place is presented in this initial study.
University of Utah
ADA program; High-order language specification;
Organick, E. I., & Drenan, L. A. (1982). ADA to silicon transformations: the outline of a method. 1-33. UUCS-82-016.
University of Utah Computer Science Technical Report