Assertion Definition Language: ADL
For defining programming interfaces, including post-conditions, error specification.
Preliminary Design of ADL/C++ - A Specification la
article by Sreenivasa Rao Viswanadha and Sriram Sankar.