Hacker News
- Albatross – A Programming Language with Static Verification http://albatross-lang.sourceforge.net 7 comments
- Albatross - A verifying compiler (in the sense of Hoare's Grand Challenge) http://albatross-lang.sourceforge.net 18 comments programming
- Albatross language -- Eiffel-like syntax, Coq semantics http://albatross-lang.sourceforge.net/ 4 comments compsci