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. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.