Programming Language - Anna

Anna

Anna - ANNotated Ada. ca. 1980. Adds semantic assertions to Ada as formal
comments. Based on first-order logic. Includes generalized type
constraints, virtual checking functions, and behavior specification. "ANNA
- A Language for Annotating Ada Programs", David Luckham et al, Springer
1987.
ftp://anna.stanford.edu/pub/anna/*

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

16 plus 7? *   Robot Spam Prevention

 

Next Language:   ANTLR

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z