द्वारा कार्यक्रम guml.sf.net

प्रोग्रामिंग भाषा और उपकरण की अनुमति: जावा, सी #, सी + + ,.. के लिए आसान कोड पीढ़ी; कोड शुद्धता और औपचारिक गुणों को सत्यापित करें। इसका उद्देश्य घटकों (भाषा की निर्भरता के बिना) की अधिकतम पुन: प्रयोज्यता की अनुमति देना है, सा