Geodesic
Analytic models of machine arithmetic
Sibirskij žurnal industrialʹnoj matematiki, Tome 6 (2003) no. 3, pp. 88-102

Voir la notice de l'article provenant de la source Math-Net.Ru

We present new methods for constructing analytic models of information systems whose requirements are specified by formal theories. The methods are based on a special modification of a model-theoretic approach, called partial interpretation. We construct analytic models of computer implementations of arithmetic–partial interpretations of arithmetic theories with finite universes. We describe the main classes of partial interpretations of integer arithmetics, which are distinguished by the methods for processing overflows. We consider a partial interpretation of the arithmetic of rational numbers based on the IEEE Standard 754. We analyze computation models supported by various programming languages and propose paths for their development. 
@article{SJIM_2003_6_3_a6,
     author = {S. P. Kovalyov},
     title = {Analytic models of machine arithmetic},
     journal = {Sibirskij \v{z}urnal industrialʹnoj matematiki},
     pages = {88--102},
     publisher = {mathdoc},
     volume = {6},
     number = {3},
     year = {2003},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SJIM_2003_6_3_a6/}
}
TY  - JOUR
AU  - S. P. Kovalyov
TI  - Analytic models of machine arithmetic
JO  - Sibirskij žurnal industrialʹnoj matematiki
PY  - 2003
SP  - 88
EP  - 102
VL  - 6
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJIM_2003_6_3_a6/
LA  - ru
ID  - SJIM_2003_6_3_a6
ER  - 
%0 Journal Article
%A S. P. Kovalyov
%T Analytic models of machine arithmetic
%J Sibirskij žurnal industrialʹnoj matematiki
%D 2003
%P 88-102
%V 6
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJIM_2003_6_3_a6/
%G ru
%F SJIM_2003_6_3_a6
S. P. Kovalyov. Analytic models of machine arithmetic. Sibirskij žurnal industrialʹnoj matematiki, Tome 6 (2003) no. 3, pp. 88-102. http://geodesic.mathdoc.fr/item/SJIM_2003_6_3_a6/