Description: Some years ago a theory was published describing compilation of digital logic system build descriptions (list of behaviors for elementary components and connections between them) into recursively computable system behavior descriptions. The current work describes an analogous theory for computer programs.
Date: October 1986
Creator: Chapman, Richard O. & Gabriel, John R.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department