A method and system is described for generating executable code for a
computer program, A programmer creates an intentional program tree using a
syntax-independent editor. The editor allows a programmer to directly
manipulate the intentional program tree. The intentional program tree has
nodes. Each node represents a high-level computational construct of the
computer program. For each node representing a high-level computational
construct, the system transforms the node into an implementation of the
high-level computational construct using low-level computational
constructs. For each node representing a low-level computational
construct, the system generates executable code that implements the
low-level computational construct. The system further provides that where
a high-level computational construct has a plurality of implementations of
the high-level computational construct, the system transforms the nodes by
selecting one of the implementations and transforms the node in accordance
with the selected implementation. The system further provides that the
implementation is selected by automatically analyzing semantics of the
intentional program tree.
Метод и система описаны для производить исполнительное Кодего для компьутерной программы, программник а создают преднамеренный вал программы использующ синтаксис-nezavisimo редактора. Редактор позволяет программник сразу манипулировать преднамеренный вал программы. Преднамеренный вал программы имеет узлы. Каждый узел представляет high-level вычислительную стройку компьутерной программы. Для каждого узла представляя high-level вычислительную стройку, система преобразовывает узел в вставку high-level вычислительной стройки использующ низкоуровневые вычислительные стройки. Для каждого узла представляя низкоуровневую вычислительную стройку, система производит исполнительное Кодего которое снабжает низкоуровневую вычислительную стройку. Система более дальнейшая обеспечивает что где high-level вычислительная стройка имеет множественность вставк high-level вычислительной стройки, система преобразовывает узлы путем выбирать одну из вставк и преобразовывает узел в соответствии с выбранной вставкой. Система более дальнейшая обеспечивает что вставка выбрана автоматически анализировать семантику преднамеренного вала программы.