Начало координат мобильной платформы (базисная точка мобильной платформы} [mobile platform origin (mobile platform reference point)]
точка начала координат в системе координат мобильной платформы.
парадигма программирования, которая описывает действия надданными в виде выражения определений.
В работе предлагается декларативный подход к реализации автоматных объектов при использовании объектно-ориентированных императивных языков программирования со статической проверкой типов. Отличительной особенностью предлагаемого подхода является возможность применения наследования и вложения макросостояний.
Реляционная парадигма позволяет описывать программы как набор отношений. Отношения не делают различий между входными и выходными параметрами. Благодаря этому одна и та же реляционная программа может использоваться для решения нескольких связанных проблем. В статье представлена реализация двух расширений реляционного программирования, полезных при разработке интерпретаторов: табличной мемоизации и конструктивного отрицания. Мемоизация позволяет эффективно обходить пространство состояний интерпретатора, а отрицание – проверять, что заданное состояние интерпретатора недостижимо. Полезность данных расширений продемонстрирована на примере интерпретатора для многопоточного императивного языка программирования.
точка начала координат в системе координат мобильной платформы.
объект, для которого техническое обслуживание не предусмотрено документацией.
машины, использующие механическую работу, получаемую от машин-двигателей для изменения свойств, формы и состояния обрабатываемых объектов – твердых, жидких и газообразных (металлообрабатывающие станки, прокатные станы, сельскохозяйственные машины, ткацкие и типографские станки и т.д.).