Albatross – A Programming Language with Static Verificationalbatross-lang.sourceforge.net15 pointshelmut_brandl11 years ago