ISO/IEC TS 6010:2025 PDF
Programming languages — C — A provenance-aware memory object model for C
Programming languages — C — A provenance-aware memory object model for C
- Статус документа:
- Действующий
- Формат:
- Электронный (PDF)
- Количество страниц:
- 23
- Дата публикации:
- 15 мая 2025 г.
- Издание:
- ISO/IEC TS 6010 edition 1 version 1
- ICS:
- 35.060
This document specifies the form and establishes the interpretation of programs written in the C programming language. It is not a complete specification of that language but builds upon ISO/IEC 9899:2018 by constraining and clarifying the Memory Object Model.
Abstract
Overview
ISO/IEC TS 6010:2025 - “Programming languages - C - A provenance-aware memory object model for C” - is a Technical Specification that refines the C memory object model defined in . It is not a full re‑specification of C; rather, it by formalizing the concept of and the identities of . The TS provides precise semantics for pointer validity, object lifetimes and addresses, and includes an executable semantics (see the Cerberus implementation) to explore small test programs.
Похожие стандарты
Упомянутые в описании и другие стандарты ISO