ISP Glossary Find an ISP Term

Search ISP Sites

Search: Search internet.com

ISP Resources ISP-Lists ISP Glossary ISP News CLEC-Planet The List ISPCON Free Newsletter IT Developer Internet News Small Business Personal Technology Search internet.com Advertise Corporate Info Newsletters Tech Jobs E-mail Offers internet.commerce Be a Commerce Partner

Search for an ISP term
by a keyword...	...or by category. choose one... Communications Computer Industry Companies Computer Science Data Graphics Hardware Internet and Online Services Mobile Computing Multimedia Networks Operating Systems Programming Software Standards Types of Computers World Wide Web

ANNA Last modified: Friday, June 22, 2001
Acronym for annotated Ada. ANNA is a high-level programming language that extends Ada with various kinds of specification constructs. The language includes special annotating constructs, or semantic assertions, that lay down axioms about the procedures and other facilities of the Ada program. ANNA is based on first-order logic and includes generalized type constraints, virtual checking functions and behavior specification constructs, from simple assertions to complex algebraic specifications.
	Related Categories Programming Languages Related Terms high-level language modular architecture real time