H ? « »

Language peer sets for AVA:
United States
United States/1990
Designed 1990
1990s languages
Fifth generation
Post-Cold War
Genus Adas
Specialised Languages
Wirth Algols
Generation of Algol 60
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


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

  • (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