Albatross (programming language)

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Albatross
ParadigmFunctional, Imperative, Statically Verified, object-oriented
First appeared2015
Typing disciplinestatic, strong
OSCross-platform
LicenseGPL v2
WebsiteAlbatross
Major implementations
Albatross
Influenced by
Eiffel, Coq

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

References[edit]

  1. ^ "Albatross, a statically verifiable language".
  2. ^ "Albatross, Language Description".
Retrieved from "https://en.wikipedia.org/w/index.php?title=Albatross_(programming_language)&oldid=868891764"