Ada Issue 00394: redundant restriction identifiers and completing Ravenscar definition
Alok Srivastava · ACM SIGAda Ada Letters · 2006
This AI moves existing restriction identifiers to Annex J, and modifies the definition of the Ravenscar profile. It also completes the definition of the Ravenscar profile by including new restrictions that concern new features of the language.