A functional specification language for instruction set architectures
暂无分享,去创建一个
[1] Robert Giegerich. Code Selection by Inversion of Order-Sorted Derivors , 1990, Theor. Comput. Sci..
[2] Paul D. Franzon,et al. System-level specification of instruction sets , 1993, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93.
[3] John J. Paulos,et al. A microprocessor-based implantable telemetry system , 1991, Computer.
[4] Paul Hudak,et al. Conception, evolution, and application of functional programming languages , 1989, CSUR.
[5] Annie Despland,et al. PAGODE: A Back End Generator Using Attribute Abstract Syntaxes and Term Rewritings , 1990, CC.
[6] Ed Harcourt Jon Mauney. Functional Specification and Simulation of Instruction Set Architectures , 1994 .
[7] Christopher W. Fraser. A language for writing code generators , 1989, PLDI '89.