albatross - Programming language

albatross is a programming language created in 2015.

#3013on 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

Example from the web:

use alba.base.boolean
end
all (a:BOOLEAN)
require
    a
ensure
    a
end

HackerNews discussions of albatross

title	date	score	comments
Albatross – A Programming Language with Static Verification	08/10/2015	15	7