Operational semantics

    flowchart
    AA["Associated Authors (0)"]
    C[Operational semantics]
    BC["Broader Concepts (1)"]
    NC["Narrower Concepts (5)"]
    C== skos:broader ==>BC
    NC== skos:broader ==>C
    AA== dcterms:relation ==>C
    click BC "#broader-concepts"
    click NC "#narrower-concepts"
    click AA "#associated-authors"

    NI["add incoming edge"]
    NO["add outgoing edge"]
    NI-- ? -->C
    C-- ? -->NO
    click NI "#add-incoming-edge"
    click NO "#add-outgoing-edge"
    style NI stroke-width:2px,stroke-dasharray: 5 5
    style NO stroke-width:2px,stroke-dasharray: 5 5
Graph neighborhood for 'Operational semantics'. Click aggregate nodes to navigate.
Wikidata
https://www.wikidata.org/wiki/Q1930895
OpenAlex ID
https://openalex.org/C156325763 (API record)
OpenAlex Description
category of formal programming language semantics in which certain desired properties of a program are verified by constructing proofs from logical statements about its execution, procedures,rather than by attaching mathematical meanings to its terms
OpenAlex Level [?]
3

Broader Concepts

Narrower Concepts

Associated Authors

Add Incoming Edge

Login via ORCiD to contribute.

Add Outgoing Edge

Login via ORCiD to contribute.