H ? « ‹ ← → › »

Language peer sets for Larch/Ada:
United States↑
United States/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Larch/Ada(ID:2156/lar002)

alternate simple view

Country: United States
Designed 1986

Used in the Penelope verification system, to provide semantics for Ada' types. Notationally similar to Anna.

Related languages

Larch

→

Larch/Ada

Implementation

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder