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 viewCountry: United States Designed 1986 Used in the Penelope verification system, to provide semantics for Ada' types. Notationally similar to Anna. Related languages
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |