Семантика (програмування) - це
Операційна семантика (англ. Operational semantics) використовується для синтаксичних понять мови. У ній функції розглядаються як текстуальні правильно побудовані визначення, що забезпечують застосування до аргументу, а не як функції в математичному розумінні цього терміна.
Існує класифікація різних видів операційної семантики:
Інтерпретаційні семантика - опис операційної семантики конструкцій в термінах мов програмування низького рівня (мова асемблера. Машинний код). Цей спосіб дозволяє виявляти повільно виконуються ділянки програми, і часто використовується у відповідних фрагментах систем програмування з метою оптимізації коду програм.
Трансляційна семантика - опис операційної семантики конструкцій в термінах мов програмування високого рівня. За допомогою цього способу можна вивчати мову, схожий з вже відомим програмісту.
Трансформаційна семантика - опис операційної семантики конструкцій мови в термінах цієї ж мови. Трансформаційна семантика є основою метапрограмування.
Будь ласка, оформіть її згідно з правилами оформлення статей.
Дивитися що таке "Семантика (програмування)" в інших словниках:
Семантика обчислень - Семантика обчислень це визначення процесу обчислення у вигляді послідовності правил перезапису, яке разом з поданням про збіжність вперше були використані в контексті обчислення. Збіжність важлива також в системах ... ... Вікіпедія
ПРОГРАМУВАННЯ ТЕОРЕТИЧНЕ - математична дисципліна, що вивчає математичного. абстракції програм, що трактували як об'єкти, виражені на формальній мові, що володіють певною інформаційної та логічний. структурою і підлягають виконанню на автоматичним. пристроях. П. т. ... ... Математична енциклопедія
Нейролінгвістичне програмування - нейролінгвістичне програмування (НЛП) (англ. Neuro linguistic programming) (також зустрічається варіант «нейролінгвістичне програмування») комплекс моделей, технік і операційних принципів (контекстуально залежних переконань), ... ... Вікіпедія
Доказове програмування - використовувалася в 1980 х роках в академічних колах технологія розробки програм для ЕОМ з доказами правильності доказами відсутності помилок в програмах (розуміючи, в рамках даної теорії, помилки як невідповідності між ... ... Вікіпедія
Загальна семантика - Для терміна «Семантика» см. Інші значення. Загальна семантика (англ. General Semantics, фр. Sémantique від грец. Σημαντικός що позначає) емпірична дисципліна, що представляє собою систематичну методологію по ... ... Вікіпедія
Нейролінгвістичне програмування: Бібліографія - Одна зі статей на тему нейролінгвістичне програмування (НЛП) Основні статті НЛП · Принципи · НЛП психотерапія · Історія Новий код · НЛП і наука · Бібліографія · Словник Принципи та методи Моделювання · Метамодель · Мілтон модель Позиції ... ... Вікіпедія
- CD-ROM. Обчислювальна математика і програмування 10-11 класи (кількість CD дисків: 2). Навчальний посібник «Обчислювальна математика і програмування, 10-11 клас» підготовлено на замовлення Міністерства освіти Укаїни за участю Некомерційного партнерства - ... Детальніше Купити за 186 руб