Albatross (programming language)
| 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] is a general purpose programming language which can be verified statically.
References
This article is issued from Wikipedia - version of the Wednesday, September 09, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.