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 Adaalternate simple viewCountry: 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
References: 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 |