Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

predicate transformer semantics · Vinony

EntityQ291929· pop 8· linked from 57 articles

predicate transformer semantics

Sign in to save

reformulation of Floyd-Hoare logic

Connections

programming language semantics

concurrent computing

Guarded Command Language

computer science

International Standard Book Number

digital object identifier

software engineering

Edsger W. Dijkstra

deductive reasoning

distributed computing

software development

Categories

Edsger W. Dijkstra Formal methods Program logic

Sources

wikipedia.externallinksexternallink

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