Albatross (programming language)

Albatross
Paradigm Functional, Imperative, Statically Verified, object-oriented
First appeared 2015
Typing discipline static, strong
OS Cross-platform
License GPL v2
Website Albatross
Major implementations
Albatross
Influenced by
Eiffel, Coq


Albatross [1] [2] is a general purpose programming language which can be verified statically.

References

  1. ↑ "Albatross, a statically verifiable language".
  2. ↑ "Albatross, Language Description".
This article is issued from Wikipedia - version of the 9/21/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.