"Hoare triple" meaning in English

{
  "etymology_text": "Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare.",
  "forms": [
    {
      "form": "Hoare triples",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Hoare triple (plural Hoare triples)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Theory of computing",
          "orig": "en:Theory of computing",
          "parents": [
            "Computer science",
            "Computing",
            "Sciences",
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards."
      ],
      "hyponyms": [
        {
          "word": "description"
        },
        {
          "word": "triple"
        }
      ],
      "id": "en-Hoare_triple-en-noun-8a8FZPcg",
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "formal",
          "formal"
        ],
        [
          "description",
          "description"
        ],
        [
          "execution",
          "execution"
        ],
        [
          "code",
          "code"
        ],
        [
          "computation",
          "computation"
        ],
        [
          "Hoare logic",
          "Hoare logic"
        ],
        [
          "command",
          "command"
        ],
        [
          "precondition",
          "precondition"
        ],
        [
          "postcondition",
          "postcondition"
        ]
      ],
      "raw_glosses": [
        "(computing theory) A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards."
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "Tony Hoare"
      ]
    }
  ],
  "word": "Hoare triple"
}

{
  "etymology_text": "Part of the Hoare logic proposed in 1969 by the British computer scientist and logician Tony Hoare.",
  "forms": [
    {
      "form": "Hoare triples",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Hoare triple (plural Hoare triples)",
      "name": "en-noun"
    }
  ],
  "hyponyms": [
    {
      "word": "description"
    },
    {
      "word": "triple"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "en:Theory of computing"
      ],
      "glosses": [
        "A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards."
      ],
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "formal",
          "formal"
        ],
        [
          "description",
          "description"
        ],
        [
          "execution",
          "execution"
        ],
        [
          "code",
          "code"
        ],
        [
          "computation",
          "computation"
        ],
        [
          "Hoare logic",
          "Hoare logic"
        ],
        [
          "command",
          "command"
        ],
        [
          "precondition",
          "precondition"
        ],
        [
          "postcondition",
          "postcondition"
        ]
      ],
      "raw_glosses": [
        "(computing theory) A formal description of how the execution of a piece of code changes the state of the computation in Hoare logic, consisting of a command to be run, a precondition that holds true beforehand, and a postcondition that holds true afterwards."
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "Tony Hoare"
      ]
    }
  ],
  "word": "Hoare triple"
}