Safe Ada(ID:1359/saf003)
Began: 1987
Languages for 1987
1980s languages
Fifth generation
Late Cold War
Published: 1987
1987
A subset of Ada for writing safety-critical software. "Safe Ada - Language Study", Systeam AG (Aug 1987).