Larch/Ada(ID:2156/lar002)
Country: us
languages for us
us/1986
Began: 1986
Languages for 1986
1980s languages
Fifth generation
Late Cold War
Used in the Penelope verification system, to provide semantics for Ada' types. Notationally similar to Anna.
Related languages
Larch
=>
Larch/Ada
Implementation