Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

operational semantics · Vinony

🌐English

English Deutsch Español Français Italiano Português Türkçe العربية 한국어 中文日本語

EntityQ1930895· pop 16· linked from 132 articles

operational semantics

category of formal programming language semantics

Available in 16 languages

Español
Français
Deutsch
中文
日本語
Português
Italiano
العربية
Croatian
Greek

Connections

programming language semantics

Categories

Formal specification languages Logic in computer science Operational semantics Programming language semantics

Sources

wikipedia.externallinksexternallink

Serbian (Latin)

via Wikidata sitelinks · CC0

evaluation strategy

Entity

computer science

International Standard Book Number

programming language

computer program

mathematical proof

digital object identifier

object-oriented programming

functional programming

formal language

lambda calculus

Sign in to save

What links here132 pages

program analysis

static program analysis

abstract interpretation

programming language theory

Program slicing

programming language specification

latent semantic analysis

functional programming

semantic similarity

structured program theorem

principle of compositionality

state transition system

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Category:Imperative programming languages

Entitydist 0.41

programming paradigm

Entitydist 0.43

imperative programming

Entitydist 0.46

Category:Procedural programming languages

Entitydist 0.47

categorical logic

Entitydist 0.47

Entitydist 0.49

Category:Esoteric programming languages

Entitydist 0.49

imperative programming language

Entitydist 0.49

program operator

Entitydist 0.49

Entitydist 0.50

Category:Programming idioms

Entitydist 0.50

Entitydist 0.50