albatross is a programming language created in 2015.
| #3479on PLDB | 9Years Old |
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 |