Webopedia on Google+Webopedia on TwitterWebopedia on FacebookTech Bytes Blog
Main » TERM » A »

ANNA

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.







TECH RESOURCES FROM OUR PARTNERS
DID YOU KNOW?
What You Don't Read Can Hurt You

Does this sound familiar? An online service promises to help your small business cut costs, increase productivity, make your coffee and walk your... Read More »

Who's Moving Ahead in Cloud Computing?

The future remains, well, cloudy. But either way: Amazon, look out. Microsoft is gaining fast. Read More »

We Can't Give Up on Privacy!

Even new and emerging technologies that can make our lives easier, safer and healthier can jeopardize our privacy. Read More »

QUICK REFERENCE
Webopedia Polls

The trend for the past two years has been for shoppers to spend more online during the holiday season. How do you typically shop for holiday... Read More »

How to Create a Desktop Shortcut to a Website

This Webopedia guide will show you how to create a desktop shortcut to a website using Firefox, Chrome or Internet Explorer (IE). Read More »

Flash Data Storage Vendor Trends

Although it is almost impossible to keep up with the pace of ongoing product releases, here are three recent highlights in the flash data storage... Read More »