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.

specification language · Vinony

🌐English

English Deutsch Español Français Italiano Polski Português Русский العربية 한국어 中文日本語

EntityQ1209840· pop 14· linked from 84 articles

specification language

formal language used in computer science

Available in 14 languages

Español
Français
中文
日本語
Русский
Português
Italiano
العربية
Catalan
Greek

Connections

specification and description language

computer science

Categories

Computer languages Formal specification Scientific modelling Specification languages

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

algebra

Entity

International Standard Book Number

programming language

mathematical proof

digital object identifier

markup language

Unified Modeling Language

formal language

computer language

systems analysis

requirements analysis

Sign in to save

Similar entities

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

formal specification

Entitydist 0.20

programming style

Entitydist 0.43

object-based language

Entitydist 0.45

Entitydist 0.48

axiomatic semantics

Entitydist 0.48

Entitydist 0.51

markup language

Entitydist 0.51

structured document

Entitydist 0.53

Entitydist 0.54

attribute-oriented programming

Entitydist 0.54

software documentation

Entitydist 0.56

Wireless Markup Language

Entitydist 0.56

What links here84 pages

John C. Reynolds

program analysis

formal specification

markup language

static program analysis

programming language

Language Of Temporal Ordering Specification

programming language specification

template processor

domain-specific language

abstract data type

computer language

hardware description language

Program slicing

4th-generation programming language

architecture description language

style sheet language