• Albatross – A Programming Language with Static Verification http://albatross-lang.sourceforge.net 7 comments 10/8/2015

• Albatross - A verifying compiler (in the sense of Hoare's Grand Challenge) http://albatross-lang.sourceforge.net 18 comments 17/8/2015 programming
• Albatross language -- Eiffel-like syntax, Coq semantics http://albatross-lang.sourceforge.net/ 4 comments 5/5/2015 compsci

Related searches:

Search whole site: site:albatross-lang.sourceforge.net

Search title: Albatross

See how to search.