Programming Language - Larch/Ada


Larch/Ada

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

Comments, Experience, Additions

Next Language:   Larch/CLU


Language Search

 


Browse by Letter

A B C D E F G H I J K L M
N O P Q R S T U V W X Y Z


Larch/Ada Programming Language
http://www.programming-languages.co.uk/larch-ada.html
Large list of computer programming languages arranged alphabetically, with explanations.






©Copyright 2007 - Programming Languages