A program specification language with a defined syntax, and ad-hoc semantics.
Show All Versions
Show All Activities