Highlights of a Study of Floating-Point Instructions
Kent · IEEE Transactions on Computers · 1977
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.