Модель виконання
специфікація для виконання мови програмування / З Вікіпедії, безкоштовно encyclopedia
Мова програмування складається з граматики/синтаксису та моделі виконання. Модель виконання визначає поведінку елементів мови. Застосувавши модель виконання, можна отримати поведінку програми, написаної на цій мові програмування. Наприклад, коли програміст «читає» код, у своєму розумі він переглядає, що робить кожен рядок коду. По суті, він імітує поведінку всередині свого розуму. Те, що робить програміст, застосування моделі виконання до коду, що призводить до поведінки коду.
Кожна мова програмування має модель виконання, яка визначає спосіб, у який планується виконання одиниць роботи (позначених синтаксисом програми). Детальні приклади специфікації моделей виконання кількох популярних мов включають моделі Python,[1] модель виконання мови програмування Unified Parallel C (UPC),[2] обговорення різних класів моделей виконання, таких як імперативна проти функціональних мов[3] і статтю, в якій обговорюються моделі виконання для вбудованих мов реального часу.[4]