Construct · 1 fields · 2 citations

annotation: a standalone construct

One name. One construct. A landmark on the map.

● anchor · a standalone construct Nearest construct by meaninglibrarycompare the meanings

How to read this

Every construct on the map is compared with every other by the meaning of its definitions, and the closest one is surfaced here. The nearest construct to annotation is library.

Hold this as a prompt, not a verdict. Two constructs sitting close in meaning is a reason to read them side by side and decide for yourself whether they are one idea under two names. It is not proof that they are. Compare the meanings in the Collider.

A single standalone construct; nearby constructs are located against it in the Collider. Tap a field for its definition, unit, and measures.

Computer science

Logical assertion attached to code

In computer science, an annotation is a formal statement attached to a point in a program, such as a condition the program's variables must satisfy whenever execution reaches that point. Floyd's 1967 Assigning meanings to programs introduced the practice of tagging the steps of a program with logical assertions so its behaviour could be reasoned about and proved correct, and Hoare's 1969 An axiomatic basis for computer programming turned those assertions into a formal logic of programs. The referent is a machine-checkable claim about program state written alongside the code, not a label tagging words in a text or a description of what a stretch of DNA does.[1][2]

Unit: A single assertion or contract attached to one program point
Recovery means: Not applicable
Measured by: Checked by a verifier, theorem prover, or runtime assertion that tests whether the stated condition holds

Run it through the Collider, or take the citations with you.

See how annotation sits against neighbouring constructs in the Collider, or export every reference on this page in one click.

Open in Collider Export BibTeX Report this entry

Nearby constructs

corpus1 fields · 1 citationsanchor · a standalone construct sequence3 fields · 3 citationsjingle · one word, three constructs assignment3 fields · 3 citationsjingle · one word, three constructs

References

Floyd, R. W. (1967). Assigning meanings to programs. In Proceedings of Symposia in Applied Mathematics, 19 (pp. 19–32). American Mathematical Society. https://doi.org/10.1090/psapm/019/0235771
Hoare, C. A. R. (1969). An axiomatic basis for computer programming. Communications of the ACM, 12(10), 576–580. https://doi.org/10.1145/363235.363259

Cited on this page?

Confirm your construct, or correct us.

If your work is cited behind one of these entries, you know better than we do whether we captured the meaning right. Confirm it, suggest an edit, or dispute it, and your name goes on the entry as an author who has checked it, linked to your ORCID.

Claim your construct