albatross is a programming language created in 2015.
| #2494on PLDB | 9Years Old |
Albatross is A Programming Language with Static Verification: You can develop programs and algorithms and prove them to be correct in Albatross
use alba.base.boolean
end
all (a:BOOLEAN)
require
a
ensure
a
end| title | date | score | comments |
|---|---|---|---|
| Albatross – A Programming Language with Static Verification | 08/10/2015 | 15 | 7 |