ISO/IEC 1539-1:2023/Cor 1:2026 PDF

Overview

ISO/IEC 1539-1:2023/Cor 1:2026 is a Technical Corrigendum to the international standard for the Fortran programming language, Part 1: Base language. Published by ISO and IEC, this document provides crucial clarifications and corrections to the fifth edition of ISO/IEC 1539-1:2023. It is developed by ISO/IEC Joint Technical Committee JTC 1, Subcommittee SC 22, focusing on programming languages and system software interfaces.

This corrigendum enhances the consistency, reliability, and standards conformance of Fortran implementations, especially regarding intrinsic modules, coarray behavior, enumerators, and compliance with the IEEE standard.

Key Topics

• Intrinsic Module Corrections

  • The IEEE_SCALB function within the intrinsic module IEEE_ARITHMETIC is corrected for complete conformance with the IEEE standard.
  • The function now performs the scaleB operation as specified in the IEEE standard.

• Coarray Clarifications

  • Definitions and requirements for "established" coarrays and corresponding coarrays on all images in parallel computing environments.
  • Rules for allocation, deallocation, and correspondence of coarrays, especially in teams and recursive procedures.
  • Prohibits the use of coindexed objects with pointer subcomponents in certain structure constructors, improving program safety.

• Type Compatibility and Enumerators

  • Clarifies when data descriptors are type-compatible within complex assignments.
  • Expands enumerator definitions to allow use of boz-literal-constants as values, supporting enhanced interoperability through ISO_C_BINDING.
  • Refines rules for type compatibility checks and the use of named constants in declarations.

• Other Revisions and Notes

  • Adjustments to language constraints, such as the use of coarrays in data components.
  • Revised notes and constraints for structure constructors, MOVE_ALLOC arguments, and C descriptors.

Applications

The practical value of ISO/IEC 1539-1:2023/Cor 1:2026 is evident for various stakeholders in the software and scientific computing communities:

• Fortran Compiler Developers

  • Ensures Fortran compilers can be updated for greater accuracy in floating-point arithmetic and compliance with the latest standards, reducing implementation errors and ambiguities.
  • Clearer definitions for coarrays and structure constructors aid in robust parallel and distributed computing support.

• Scientific Computing & High-Performance Computing (HPC)

  • Scientists and engineers benefit from reliable, standard-conforming behavior for numerical functions and coarray operations, crucial for large-scale parallel simulations.
  • Increased program portability and cross-platform compatibility due to precise standardization of language features.

• Software Quality Assurance and Standardization Teams

  • Simplifies compliance checks for applications and libraries, ensuring alignment with international standards.
  • Incorporates updates for intrinsic modules, enumerators, and object initialization, fostering long-term maintainability.

Related Standards

• ISO/IEC 1539-1:2023 - Fortran - Part 1: Base language (main edition to which this corrigendum applies)
• ISO/IEC 60559:2020 - Standard for floating-point arithmetic, referenced for IEEE compliance
• ISO_C_BINDING - Intrinsic module supporting interoperability between Fortran and C

Other related documents include prior corrigenda and amendments to the Fortran standard, as well as standards governing programming languages and system software interfaces under ISO/IEC JTC 1/SC 22.

Stay up to date with the latest corrections and clarifications by referencing ISO/IEC 1539-1:2023/Cor 1:2026 for reliable Fortran programming and standardization. For detailed documentation, visit iso.org.