Skip to content

"Observable behavior" is not defined properly #3215

@morinmorin

Description

@morinmorin

In [intro.abstract] p6, observable behavior is defined as

The least requirements on a conforming implementation are:

  • Accesses through volatile glvalues are evaluated strictly according to the rules of the abstract machine.
  • At program termination, all data written into files …
  • The input and output dynamics of interactive devices …

These collectively are referred to as the observable behavior of the program.

But, IIUC, "these" refer to the requirements and so this is not a proper definition of the observable behavior.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy