作者: Alynn Klassen , Subrata Dasgupta
关键词:
摘要: In previous papers [1,2,3] a high level microprogramming language schema called S* was described. is partially specified such that for given host machine M1, particular S*(M1) results when M1's properties are used to complete the specifications of S*. We say instantiated into with respect M1. This paper describes instantiation Nanodata QM-1. The resulting S*(QM-1) allows “nanoprograms” be written major objective this research examine S*, from which instantiated, in light its overall philosophy and usefulness as tool development specific highly complex microprogrammable machine.