ADL
ADL Links
- Assertion Definition Language (ADL) is a language for defining programming interfaces, including post-conditions and error specification.
- Preliminary Design of ADL/C++ - A Specification language for C++ article by Sreenivasa Rao Viswanadha and Sriram Sankar.
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |