4
Wyvern je nový programovací jazyk navržený tak, aby vývojářům pomáhal být vysoce produktivní při psaní vysoce zabezpečených aplikací.První hlavní inovací ve Wyvernu jsou jazyky specifické pro daný typ, což je funkce, která umožňuje programátorům vytvářet literály daného typu (např. Typ SQLQuery) v jazyce vhodném pro daný typ (např. SQL).V současné době pracujeme na objektovém modelu Wyvern a poskytujeme architektům větší architektonickou kontrolu.
Webová stránka:
http://www.cs.cmu.edu/~aldrich/wyvern/Kategorie
