Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

albatross

< >

albatross is a programming language created in 2015.

#2992on PLDB 9Years Old
Homepage

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
View source
- Build the next great programming language · Add · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements · Part of the World Wide Scroll