Программы guml.sf.net

Язык программирования и инструменты, позволяющие: легкое генерация кода для Java,C, C-,..; проверить правильность кода и формальные свойства. Цель состоит в том, чтобы обеспечить максимальную многофункциональность компонентов