It is difficult to find information on how modern proprietary Ada compilers are implemented.
DDG threw an AI answer at me, which didn't reveal anything more than that WP article. There seems to be a ...
archive.adaic.com/pol-hist/his…The first 1815A validation certificate was issued for the Ada/Ed interpreter on 11 April 1983, [ . . . ] By 1987 there were more than 100 validated compilers, and by 1992 this number had grown to about 400.
😮
The examples of implementation language given are subsets of ADA and cross-compiling from machines that had ADA, except for that first compiler written in SETL.
😮
The examples of implementation language given are subsets of ADA and cross-compiling from machines that had ADA, except for that first compiler written in SETL.
1
