Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level
暂无分享,去创建一个
[1] A. Church. The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) , 1985 .
[2] Martin C. Henson. Elements of Functional Languages , 1988 .
[3] Alan Jay Smith,et al. The Clipper processor: instruction set architecture and implementation , 1989, CACM.
[4] A. Church. The calculi of lambda-conversion , 1941 .
[5] Hugh Glaser,et al. Principles of functional programming , 1984 .
[6] Francois Anceau,et al. The architecture of microprocessors , 1987 .
[7] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[8] Paolo Prinetto,et al. A functional approach to formal hardware verification: the MTI experience , 1988, Proceedings 1988 IEEE International Conference on Computer Design: VLSI.
[9] Avra Cohn,et al. A Proof of Correctness of the Viper Microprocessor: The First Level , 1988 .