а каков функционал практической части ?
Добавлено через 4 минуты 38 секунд
я описываю поведение системы аксимомами и утверждениями (доказанными аксиомами). т.е. фактически правилами. и то далеко не все поведение. а отдельные вопросы (управление, безопасность, и т.п.). Кстати, Билл Гейтс объявил, что оин начинают массированное наступление на декларативные языки, когда поведение можно будет описывать мета описаниями. Ближайшие 5-8 лет собираются посвятить этому вопросу.
|