Язык Норма позволяет исключить фазу программирования, которая необходима при переходе от расчетных формул, заданных прикладным специалистом, к программе. Между расчетными формулами и записью на Норме нет существенной разницы - эти формулы являются исходной информацией для транслирующей системы. Фактически, программа на Норме является непроцедурным описанием решаемой задачи. Математические проблемы, связанные с решением задачи синтеза выходной програмы, в случае языка Норма разрешимы. Разработка системы программирования Норма ведется в Институте прикладной математики РАН. В настоящее время система применяется для решения сложных вычислительных задач на многопроцессорных системах. |
|