Albatross (programming language)

From HandWiki
Revision as of 17:08, 5 November 2020 by imported>Rtextdoc (change)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

  1. ↑ "Albatross, a statically verifiable language". http://albatross-lang.sourceforge.net/. 
  2. ↑ "Albatross, Language Description". http://www.gitbook.com/book/hbr/alba-lang-description/. 




Retrieved from "https://handwiki.org/wiki/index.php?title=Albatross_(programming_language)&oldid=12161"