Search
The Directory
The Web
for
Home
>
Computers
>
Programming
>
Languages
>
ADL
New!
Submit a site
whatUseek Collection Sites
(
submit a site
)
:
Give your site great placement in this category in as little as two business days!
whatUseek Directory Site Listings:
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
About
Help
Content Filter
Terms
Privacy Policy
© 2018
whatUseek