operasyonel semantik
Sign in to savecategory of formal programming language semantics
In the Vinony graph
Within Vinony's link graph, operasyonel semantik is referenced by 132 other articles, and connects out to programming language semantics, ALGOL 68 and evaluation strategy.
It sits within the topics Formal specification languages, Logic in computer science and Operational semantics.
Its subject is documented across 16 Wikipedia language editions.
Wikidata facts
- Subclass of
- programming language semantics
Show 1 more fact
- Stack Exchange tag
- cstheory.stackexchange.com/tags/operational-semantics
via Wikidata · CC0
Connections
programming language semantics
Entity
ALGOL 68
Entity
evaluation strategy
Entity
language
Entity
linguistics
Entity
computer science
Entity
International Standard Book Number
Entity
programming language
Entity
computer program
Entity
mathematical proof
Entity
digital object identifier
Entity
semantics
Entity
object-oriented programming
Entity
Lisp
Entity
lexicology
Entity
John McCarthy
Entity
functional programming
Entity
formal language
Entity
context
Entity
lambda calculus
Entity