Ada at gos.i
Embed this image by adding following code in your web-page.
  <a href="http://getopensource.info/ada" title="Ada at getOpenSource.info">
    <img src="http://getopensource.info/ada/svg/ada.svg" alt="Ada at gos.i" />
  </a>

Ada

is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It has strong built-in language support for explicit concurrency, offering tasks, synchronous message passing (via guarded task entries), protected objects (a monitor-like construct with additional guards as in conditional critical regions) and nondeterminism (via select statements).
It addresses many of the same tasks as C or C++, but with one of the best type-safety systems available in a statically typed programming language. Ada was named after Ada Lovelace, often credited as the first computer programmer.