Ada 레퍼런스 매뉴얼에는 IEEE 754 표준에 대한 직접적인 언급은 없지만, 부동 소수점 표기법에 대한 자체적인 모델을 정의하고 있습니다.

IEEE 754 표준 언급 여부

Ada 2022 레퍼런스 매뉴얼에는 IEEE 754라는 용어가 명시적으로 나타나지 않습니다. 매뉴얼의 색인(Index) 및 관련 서지(Bibliography)를 검토한 결과, ISO/IEC/IEEE 60559:2020 (IEEE 754의 국제 표준 버전)이 참고 문헌으로 포함되어 있으나, 본문에서 직접적으로 해당 표준을 준수해야 한다고 명시하거나 인용하지는 않습니다.

Ada의 부동 소수점 표기 방법

Ada 언어는 특정 하드웨어의 부동 소수점 구현에 의존하지 않는, 이식성 높은 프로그램을 작성할 수 있도록 자체적인 부동 소수점 모델을 정의하고 있습니다. 주요 내용은 다음과 같습니다.

• 부동 소수점 타입 정의 (Floating Point Types): Ada에서는 digits 키워드를 사용하여 프로그래머가 요구하는 최소 유효 10진수 자릿수를 지정하여 부동 소수점 타입을 선언할 수 있습니다. [cite_start]예를 들어, type Real is digits 8;와 같이 선언하면, 최소 8자리의 10진수 정밀도를 갖는 부동 소수점 타입을 정의합니다[cite: 1].

• 모델 넘버 (Model Numbers): Ada는 부동 소수점 타입의 정확성을 보장하기 위해 모델 넘버라는 개념을 도입합니다. [cite_start]모델 넘버는 특정 형식을 사용하여 정확하게 표현할 수 있는 값의 집합을 의미하며, 이를 통해 구현에 독립적인 방식으로 연산의 정확도를 예측할 수 있습니다[cite: 1].

• 산술 연산 및 속성 (Operations and Attributes): Ada는 부동 소수점 타입을 위한 기본적인 산술 연산자(+, -, , /)와 지수 연산자(*)를 사전 정의하고 있습니다. 또한, 'Digits', 'Machine_Radix', 'Machine_Mantissa', 'Safe_First', 'Safe_Last' 등 다양한 속성(attribute)을 제공하여 프로그래머가 해당 타입의 특성을 질의하고 활용할 수 있도록 지원합니다. [cite_start]이러한 속성들은 Annex G Numerics에 자세히 기술되어 있습니다[cite: 1].

결론적으로, Ada는 IEEE 754 표준을 직접적으로 명시하지는 않지만, 구현 독립적인 부동 소수점 모델을 통해 수치 계산의 정확성과 프로그램의 이식성을 보장하는 방식을 채택하고 있습니다.