H ? « ‹ ← → › »

Language peer sets for Ada':
United States↑
United States/1990↑
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Multi-purpose ↑
Multi-purpose/1990↑
Multi-purpose/us ↑

Ada'(ID:1532/ada003)

Verifiable subset of Ada  

alternate simple view
Country: United States
Designed 1990
Published: 1990
Sammet category: Multi-purpose

ORA. Subset of Ada used by the Penelope verification system. Omits tasking, generics, fixed and floating point.
Related languages
Ada 83 → Ada'   Subset
References:
  • Guaspari, D. et al (1990) Guaspari, D. et al "Formal Verification of Ada Programs"
          in (1990) IEEE Trans Soft Eng 16(09) September 1990
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder