1.Previous
3.Next

formal specification languages include set theory notation using special characters. Examples are:
* Z notation
* Vienna Development Method Specification Language (VDM-SL).

Some array programming languages include vectorized expressions and matrix operations as non-ASCII formulas, mixed with conventional control structures. Examples are:
* A programming language

1.Previous
3.Next