"Hoare logic" meaning in English

{
  "etymology_text": "Proposed in 1969 by the British computer scientist and logician Tony Hoare.",
  "forms": [
    {
      "form": "Hoare logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "Hoare logic (countable and uncountable, plural Hoare logics)",
      "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 system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations."
      ],
      "id": "en-Hoare_logic-en-noun-5CRy8doL",
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "formal",
          "formal"
        ],
        [
          "system",
          "system"
        ],
        [
          "rule",
          "rule"
        ],
        [
          "reason",
          "reason"
        ],
        [
          "correctness",
          "correctness"
        ],
        [
          "computer program",
          "computer program"
        ],
        [
          "Hoare triple",
          "Hoare triple"
        ],
        [
          "operation",
          "operation"
        ]
      ],
      "raw_glosses": [
        "(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "Hoare logic",
        "Tony Hoare"
      ]
    }
  ],
  "word": "Hoare logic"
}

{
  "etymology_text": "Proposed in 1969 by the British computer scientist and logician Tony Hoare.",
  "forms": [
    {
      "form": "Hoare logics",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "Hoare logic (countable and uncountable, plural Hoare logics)",
      "name": "en-noun"
    }
  ],
  "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",
        "English uncountable nouns",
        "en:Theory of computing"
      ],
      "glosses": [
        "A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations."
      ],
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "formal",
          "formal"
        ],
        [
          "system",
          "system"
        ],
        [
          "rule",
          "rule"
        ],
        [
          "reason",
          "reason"
        ],
        [
          "correctness",
          "correctness"
        ],
        [
          "computer program",
          "computer program"
        ],
        [
          "Hoare triple",
          "Hoare triple"
        ],
        [
          "operation",
          "operation"
        ]
      ],
      "raw_glosses": [
        "(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "Hoare logic",
        "Tony Hoare"
      ]
    }
  ],
  "word": "Hoare logic"
}