This Note isn't published yet.
It's at most half done, and it's probably confusing to read.
It might be a good idea to come back later.
Alternatively, you can prod me to write it.

Specification Language

Started 6 days ago Last edited 6 days ago

A formal language like a programming language, but for writing specifications (how something should behave) compared to programs (what a computer should do).

They get interpreted by programs, however.

Examples I know (of) are L4 and TLA+.