internet.com
You are in the: Small Business Computing Channelarrow View Sites +
Small Business Technology
» ECommerce-Guide | Small Business Computing | Webopedia | WinPlanet |  »Close
Webopedia.com
Enter a word for a definition... ...or choose a computer category.
 
 

menu
   Home
   Term of the Day
   New Terms
   Pronunciation
   New Links
   Quick Reference
   Did You Know?
   Categories
   Tech Support
   Webopedia Jobs
   About Us
   Link to Us
   Advertising
  

talk to us
   Submit a URL
   Suggest a Term
   Report an Error

internet.com
Developer
International
Internet Lists
Internet News
Internet Resources
IT
Linux/Open Source
Personal Technology
Small Business
Windows Technology
xSP Resources
Search internet.com
Advertise
Corporate Info
Newsletters
Tech Jobs
E-mail Offers
commerce
  Be a Commerce Partner
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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.

E-mail this definition to a colleague

Sponsored listings

Same Day Pre-Approvals on Hard Money Loans: CEMLending.com - Hard money loans 500K and up. Quick turn around; 7-10 day funding! Not credit score or property type driven. Interest only. Up to 100%, if applicable.

Hoover's: Anna's Linen Company Company Research - Find information on Anna's Linen Company with operations and products, financials, officers, competitors and more at Hoover's.


For internet.com pages about ANNA . Also check out the following links!

Related Links

related categories

Programming Languages

related terms

high-level language

modular architecture

real time


webopedia
Give Us Your
Feedback


Shopping
ANNA Products
Compare Products,Prices and Stores

Shop by Category:
Books
2062 Model Matches

Cosmetics
205 Store Offers

Home Furnishings
658 Store Offers

Movies
89 Model Matches

Fragrance
69 Store Offers



JupiterWeb networks:

internet.comearthweb.comDevx.com graphics.com

Search JupiterWeb:

Jupitermedia Corporation has three divisions:
Jupiterimages, JupiterWeb and JupiterResearch


Legal Notices, Licensing, Reprints, & Permissions, Privacy Policy.

Jupitermedia Corporate Info | Newsletters | Tech Jobs | Shopping | E-mail Offers