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.

predicate transformer semantics · Vinony

🌐English

English Deutsch Español Nederlands Русский 한국어 中文日本語

EntityQ291929· pop 8· linked from 57 articles

predicate transformer semantics

reformulation of Floyd-Hoare logic

Available in 8 languages

Español
Deutsch
日本語
Русский
Bulgarian
Catalan
Nederlands

via Wikidata sitelinks · CC0

Connections

programming language semantics

Categories

Edsger W. Dijkstra Formal methods Program logic

Sources

wikipedia.externallinksexternallink

concurrent computing

Entity

Guarded Command Language

computer science

International Standard Book Number

digital object identifier

software engineering

Edsger W. Dijkstra

deductive reasoning

distributed computing

software development

Sign in to save

Similar entities

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

hypostatic abstraction

Entitydist 0.40

Universal instantiation

Entitydist 0.43

second-order logic

Entitydist 0.45

Entitydist 0.46

existential instantiation

Entitydist 0.46

zeroth-order logic

Entitydist 0.49

logical harmony

Entitydist 0.49

formal semantics

Entitydist 0.50

Entitydist 0.51

Entitydist 0.51

Montague grammar

Entitydist 0.52

Entitydist 0.52

What links here57 pages

semantic memory

cognitive semantics

Guarded Command Language

programming language semantics

static program analysis

Exemplar theory

theory of descriptions

latent semantic analysis

semantic similarity

principle of compositionality

computational semantics

semantic desktop

semantic analysis

Semantic analysis

statistical semantics

computational linguistics