"denotational semantics" meaning in All languages combined

See denotational semantics on Wiktionary

Noun [English]

Head templates: {{en-noun|-}} denotational semantics (uncountable)
  1. (computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages. Wikipedia link: denotational semantics Tags: uncountable Categories (topical): Computer science Related terms: axiomatic semantics, operational semantics Translations (an approach to formalizing the meanings of programming languages): stærðfræðileg merkingarfræði [feminine] (Icelandic), semantică denotațională [feminine] (Romanian), denotacijska semantika [feminine] (Serbo-Croatian)
{
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "denotational semantics (uncountable)",
      "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": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Icelandic translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Romanian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Serbo-Croatian translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Computer science",
          "orig": "en:Computer science",
          "parents": [
            "Computing",
            "Sciences",
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages."
      ],
      "id": "en-denotational_semantics-en-noun-6hIzxgv9",
      "links": [
        [
          "computer science",
          "computer science"
        ],
        [
          "meaning",
          "meaning"
        ],
        [
          "programming language",
          "programming language"
        ],
        [
          "denotation",
          "denotation"
        ]
      ],
      "raw_glosses": [
        "(computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages."
      ],
      "related": [
        {
          "word": "axiomatic semantics"
        },
        {
          "word": "operational semantics"
        }
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "science",
        "sciences"
      ],
      "translations": [
        {
          "code": "is",
          "lang": "Icelandic",
          "sense": "an approach to formalizing the meanings of programming languages",
          "tags": [
            "feminine"
          ],
          "word": "stærðfræðileg merkingarfræði"
        },
        {
          "code": "ro",
          "lang": "Romanian",
          "sense": "an approach to formalizing the meanings of programming languages",
          "tags": [
            "feminine"
          ],
          "word": "semantică denotațională"
        },
        {
          "code": "sh",
          "lang": "Serbo-Croatian",
          "sense": "an approach to formalizing the meanings of programming languages",
          "tags": [
            "feminine"
          ],
          "word": "denotacijska semantika"
        }
      ],
      "wikipedia": [
        "denotational semantics"
      ]
    }
  ],
  "word": "denotational semantics"
}
{
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "denotational semantics (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "axiomatic semantics"
    },
    {
      "word": "operational semantics"
    }
  ],
  "senses": [
    {
      "categories": [
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English uncountable nouns",
        "Entries with translation boxes",
        "Pages with 1 entry",
        "Pages with entries",
        "Terms with Icelandic translations",
        "Terms with Romanian translations",
        "Terms with Serbo-Croatian translations",
        "en:Computer science"
      ],
      "glosses": [
        "An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages."
      ],
      "links": [
        [
          "computer science",
          "computer science"
        ],
        [
          "meaning",
          "meaning"
        ],
        [
          "programming language",
          "programming language"
        ],
        [
          "denotation",
          "denotation"
        ]
      ],
      "raw_glosses": [
        "(computer science) An approach to formalizing the meanings of programming languages by constructing mathematical objects called denotations which describe the meanings of expressions from the languages."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "science",
        "sciences"
      ],
      "wikipedia": [
        "denotational semantics"
      ]
    }
  ],
  "translations": [
    {
      "code": "is",
      "lang": "Icelandic",
      "sense": "an approach to formalizing the meanings of programming languages",
      "tags": [
        "feminine"
      ],
      "word": "stærðfræðileg merkingarfræði"
    },
    {
      "code": "ro",
      "lang": "Romanian",
      "sense": "an approach to formalizing the meanings of programming languages",
      "tags": [
        "feminine"
      ],
      "word": "semantică denotațională"
    },
    {
      "code": "sh",
      "lang": "Serbo-Croatian",
      "sense": "an approach to formalizing the meanings of programming languages",
      "tags": [
        "feminine"
      ],
      "word": "denotacijska semantika"
    }
  ],
  "word": "denotational semantics"
}

Download raw JSONL data for denotational semantics meaning in All languages combined (1.9kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.