Результати пошуку

...роткий код'') — одна з перших [[Мова програмування високого рівня|мов програмування високого рівня]] з коли-небудь розроблених для [[комп'ютер]]ів. Short Code ...ропонований [[Джон Моклі|Джоном Моклі]] у [[1949]] році. Оригінальна назва мови, надана автором — Brief Code. ...

...]ів є зовнішня [[специфікація]] системи, а результатом роботи [[Кодування (програмування)|кодувальників]] — програмний код системи. Специфікації описують ту чи ...я уточнення вимог, узгоджень їх із замовником та для побудови [[Прототипне програмування|прототипів]]; ...

* [[компілятор]]и — перетворюють текст програми [[мови високого рівня|мовою високого рівня]] на [[об'єктний код]] чи [[байт-код]]. ...авпаки, намагаються з машинного коду отримати [[початковий код]] на [[Мова програмування високого рівня|високорівневій мові]]. ...

...(програмування)|параметра]], значенням якої або якого може бути [[Функція (програмування)|функція]]; або тип аргументу чи повертаного значення [[Функція вищого поря ...]. Серед інших властивостей, таке уявлення несе в собі ідею [[Поліморфізм (програмування)|поліморфної функції]]. ...

...C, p. 38">Kernighan and Ritchie, ''C'', p. 38</ref> це особливий [[рядок (програмування)|рядок]] нульової довжини. Він позначається як [[λ]] або іноді Λ чи ''[[ε]] Ці властивості можуть зберігатися в деяких мовах програмування. ...

...а]], [[Рефлексивно-орієнтоване програмування|рефлексивна]], [[Стекова мова програмування|стекова]] '''Forth''' (Форт)&nbsp;— [[мова програмування]] та середовище для програмування, розроблена [[Чарльз Мур (програміст)|Чарльзом Муром]] (також відомим як Ча ...

| language = мова програмування Maple | programming language = [[C (мова програмування)|C]] ...

...атичне програмування є одним з видів [[Нелінійне програмування|нелінійного програмування]]. ...стання сягає 1940-х років і не пов'язане конкретно з поняттям «комп'ютерне програмування», яке поширилося пізніше. Щоб уникнути плутанини, інколи використовують тер ...

|<math>\begin{array}{r} L(r_1) \\ L(r_2) \end{array}</math> - різні мови [[Категорія:Формальні мови]] ...

...тестування, [[зневадження]] і підтримки комп'ютерних [[Програма|програм]]. Програмування поєднує в собі елементи [[інженерія|інженерії]] (існує відповідна спеціальн ...истувачів [[програмне забезпечення|програмного забезпечення]]. Результатом програмування зазвичай є програма або [[програмний продукт]]. ...

...рінгом|повна за Тюрінгом]] [[Езотеричні мови програмування|езотерична мова програмування]], яку запропонував [[Джон Конвей]]. {{Мови програмування}} ...

...]] та в інших дисциплінах, які включають в себе [[формальна мова|формальні мови]], включно з [[математична логіка|математичною логікою]] і [[інформатика|ін ...програмі]], яка не є [[Локальна змінна|локальною змінною]] або [[Параметр (програмування)|аргументом]].<ref>{{Cite web |url=http://www.encyclopedia.com/doc/1O11-fre ...

...іональне]], [[Паралельні обчислення|паралельне]] [[Парадигма програмування|програмування]] ...програмування | функціонального]], тобто чисту (не мають [[Побічний ефект (програмування) | побічних ефектів]]). Якщо присутні явні побічні ефекти, наприклад, викор ...

...ведений стандартом [[C99]]. Заголовний файл оголошує кілька [[Цілочисельне програмування|цілочисельних]] типів і [[Макрокоманда|макросів]].<ref name="stdc">{{Cite w [[Категорія:Заголовні файли мови С]] ...

...єрархією Чомскі]]. Регулярні граматики визначають в точності всі регулярні мови, і тому еквівалентні кінцевим автоматам і регулярним виразами. Регулярні гр ...ма. Оскільки [[потужність множини]] всіх подій континуальна, то нема такої мови ''L'', для якої всі події є ''L''-подіями. ...

! Логічні системи !! Мови програмування ...ізму Каррі&nbsp;— Говарда дозволило створити цілий клас функціональних мов програмування, середовище виконання яких одночасно є системою автоматичного доказу, таких ...

...сичний цукор|синтаксична конструкція]] в деяких [[мова програмування|мовах програмування]], для створення списків застосуванням операцій над уже наявними списками. ...укцій був використаний Родом Бурсталом та Джоном Дарлінґтоном в описі мови програмування NPL (1977). ...

...граматика|формальних граматик]], які породжують [[формальна мова|формальні мови]]. Вперше описана Ноамом Чомскі в [[1956]] році. Чотири описані Чомскі типи ...простішої граматики, яка може згенерувати задану формальну мову, формальні мови ділять на відповідні категорії від типу 0 до типу 3. ...

...йбільш вживана абетка це {0,1}, '''двійкова абетка'''. Скінченний [[Рядок (програмування)|рядок]] це скінченна послідовність літер з абетки; наприклад двійковий ряд [[Категорія:Формальні мови]] ...

{{Парадигми програмування}} ...их&nbsp;і розповсюдженні змін. Це означає, що у [[мова програмування|мовах програмування]] має бути можливість легко виразити статичні чи динамічні потоки даних, а ...