|
|
Erlang
Erlang: an interesting, open-source AI language developed by Ericsson for redundant networking
Erlang-related: Erlang FAQ, Eddie Robust Webserver, and Bluetail Mail Robustifier
Ada
Ada95 is the latest version of the "superlanguage" developed by the military for programming its embedded systems. Also used by [cached link here] NASA, other government organisations, and many large corporations such as Airbus. AdaPower and AdaDeveloper are two useful Ada resources, supporting the use of Ada and the GNAT Ada95 compiler.
Professor Feldman of George Washington University provides a nice review [cached link here] of beginning to advanced level texts for students of Ada.