Albatross (programming language)
From Infogalactic: the planetary knowledge core
| 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
- ↑ Lua error in package.lua at line 80: module 'strict' not found.
