Введение в теорию языков программирования 21130
Мови програмування від Фортрану і Коболу до Caml і Java грають ключову роль в управлінні складними комп'ютерними системами.
Книга «Введення в теорію мов програмування» представляє читачеві кошти, необхідні для проектування та реалізації подібних мов. У ній пропонується єдиний підхід до різних формализмам для визначення мов програмування — операційної та денотаційної семантики. Особлива увага при цьому приділяється способам завдання відносин між трьома об'єктами: програмою, вхідним значенням і результатом. Ці формализмы демонструються на прикладі таких типових елементів мов програмування, як функції, рекурсія, присвоювання, запису та об'єкти.
При цьому показується, що теорія мов програмування полягає не в послідовному вивченні самих мов один за іншим, а будується навколо механізмів, що входять в різні мови. Вивчення таких механізмів у книзі призводить до розробки обчислювачів, інтерпретаторів і компіляторів, а також до реалізації алгоритмів виводу типів для навчальних мов.
- АвторЖиль ДовекЖан-Жак Леви
- КатегоріяПрограмування
- МоваРосійська
- Рік2013
- Сторінок134
- Формат145х215 мм
- ОбкладинкаМ'яка
- Тип паперуОфсетний
- ІлюстраціїЧорно-білі
- ПерекладачВиталий БрагилевскийА. Пеленицын
- СеріяКлассика программирования
290 ₴
Відділення Нова Пошта80 ₴
Поштомат Нова Пошта40 ₴
Кур’єр Нова Пошта120 ₴
Відділення УкрПошта50 ₴
Кур’єр за адресою90 ₴
допоможіть тим, хто ще не читав