H ? « ‹ ← → › »

Language peer sets for AVA:
United States↑
United States/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Genus Adas ↑
Specialised Languages ↑
Adas↑
Wirth Algols↑
Generation of Algol 60 ↑
Adas/1990↑
Wirth Algols/1990↑
Generation of Algol 60/1990↑
Adas/United States↑
Wirth Algols/United States↑
Generation of Algol 60/United States↑
Specialised Languages ↑
Specialised Languages/1990↑
Specialised Languages/us ↑

AVA(ID:1535/ava001)

Verifiable Ada

alternate simple view

Country: United States
Designed 1990
Published: 1990
Genus: Adas
Sammet category: Specialised Languages

for A Verifiable Ada. Michael Smith.

A formally defined subset of Ada

Related languages

Ada

→

AVA

Formally defined Subset

References:

(1990) "The AVA Reference Manual", M. Smith, TR64, Computational Logic, Austin TX (June 1990).

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder