Le document comporte des informations techniques concernant des variables et des actions liées à des valeurs définies par des entiers minimums et maximums. Il mentionne également des URLs de ressources pour des systèmes spécifiques. Les détails incluent des valeurs extrêmes pour diverses classes de nombres entiers.

4. •
•
•

6. •
•
•

7. intMin-1 Undefined Action”
intMin a 5
intMax a 12
intMax+1 Undefined Action”
4 “a 5 ”
5 “a 5 12 ”
11 “a 5 12 ”
12 “a 12 ”
if

9. •
•
•
•

12. •
•
•

13. •
•
•
•
•
•

15. •
•

16. : 7
:(6,8,6,8,8,6,6,)

17. •
•

19. • BWDM
• ( )
•

20. •
•
•
•

22. : http://formal.mri.co.jp/outline/

23. VDM
•
•
•
•
: http://research.nii.ac.jp/~f-ishikawa/vdm/faq.html

25. • 12
• 2
•

26. •
2 1
• : 7 7 2
6
1

27. intMin-1 -2147483649( )
intMin -2147483648
intMax 2147483647
intMax+1 2147483648( )
natMin-1 -1( )
natMin 0
natMax 4294967295
natMax+1 4294967296( )
nat1Min-1 0( )
nat1Min 1
nat1Max 4294967296
nat1Max+1 4294967297( )
( ) 6 4

28. •
•
•
•
•

32. •
•