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.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.