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

Statistics

• 3 364 436 urls

© MetaXearch - All rights reserved