operational semantics
Sign in to savecategory of formal programming language semantics
Wikidata facts
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