Issue No.07 - July (1977 vol.26)
J.G. Kent , IBM Norway
The research work that this paper is based on resulted in the development of tools for the theoretical definition, analysis and comparison of floating-point instructions as mathematical mappings. These tools can be used to study the properties of most floating-point instructions and their operands.
Analysis in floating point instructions, comparison of floating point instructions, distribution of floating point operand pairs, rounding in floating point instructions.
J.G. Kent, "Highlights of a Study of Floating-Point Instructions", IEEE Transactions on Computers, vol.26, no. 7, pp. 660-666, July 1977, doi:10.1109/TC.1977.1674899