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 is a general purpose programming language which can be verified statically.
...
Wikipedia