Assertion Definition Language: ADL
For defining programming interfaces, including post-conditions, error specification.

Preliminary Design of ADL/C++ - A Specification language for C++
article by Sreenivasa Rao Viswanadha and Sriram Sankar.