AVA(ID:1535/ava001)

Verifiable Ada 

for A Verifiable Ada. Michael Smith.

A formally defined subset of Ada
Related languages
Ada => AVA   Formally defined Subset
References:
  • "The AVA Reference Manual", M. Smith, TR64, Computational Logic, Austin TX (June 1990). view details