Featured Sites: Search Home Math for Students Mystery Book Store Math Book Store online dictionary Privacy Policy     Search Home : Computers : Programming : Languages : ADL See Also: Computers: Top/Computers/Programming/Languages/Interface Computers: Top/Computers/Programming/Software Testing 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.          Math Book Store Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor Copyright © 2005-2007 All rights reserved. AllSites, LLC