Engil o’qish
Jiddiy o’qish
Sana
Biznes kitoblari
Bilim va ko‘nikmalar
Psixologiya, motivatsiya
Sport, salomatlik, go’zallik
Xobbi, hordiq
Uy, bog’
Bolalar kitoblari
Ota-onalar uchun
Jurnalistika va davriy matbuot
Samizdat
Qoralamalar
Bepul kitoblar
Barcha 142 janr
Faqat Litresda o'qing

Kitobni fayl sifatida yuklab bo'lmaydi, lekin bizning ilovamizda yoki veb-saytda onlayn o'qilishi mumkin.

matn
PDF

Hajm 127 sahifalar

2013 yil

0+

Eksklyuziv

Введение в теорию языков программирования

PDF
1
izoh
Faqat Litresda o'qing

Kitobni fayl sifatida yuklab bo'lmaydi, lekin bizning ilovamizda yoki veb-saytda onlayn o'qilishi mumkin.

27 308,91 soʻm
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 2 730,90 soʻm oling.

Mualliflar

Kitob haqida

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.

Izohlar

1
Barcha sharhlarni ko'ring
Avval ommaboplar
roman.susi

Добротное теоретическое введение

Книга для тех, кто хочет получить представление о теоретических основах языков программирования, теории типов, компиляторах и т. п. Содержит все основные понятия, проиллюстрированные довольно практическим способом: конкретным языком программирования, который авторы назвали PCF, а на самом деле являющимся довольно типичным функциональным языком программирования, перекликающимся с языками семейства ML, и другими языками программирования на уровне лежащих в основе механизмов. При этом даётся и объясняется очень многое из принятой в области терминологии. Формализмы определения языков программирования (в данной книге взяты операционная и денотационная семантики) систематично использованы в применении к различным механизмов языков. Книгу можно рекомендовать программистам и студентам, которые более глубоко интересуются языками программирования и их механизмами, хотят понимать научные труды по теории языков программирования, теории типов, строить свои языки, или расширить кругозор.

Izohga shikoyat bildirish
Izoh bilan bo`lishish

Izoh qoldiring

Kirish, kitobni baholash va sharh qoldirish

Kitob tavsifi

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.

Kitob Жана-Жака Леви, Жиля Довека «Введение в теорию языков программирования» — veb-saytda onlayn o'qing. Fikr va sharhlar qoldiring, sevimlilarga ovoz bering.
Yosh cheklamasi:
0+
Litresda chiqarilgan sana:
02 sentyabr 2013
Oxirgi yangilanish:
2013
Hajm:
127 Sahifa
ISBN:
978-5-94074-913-4
Umumiy o'lcham:
771 КБ
Umumiy sahifalar soni :
127
Tarjimon:
Mualliflik huquqi egasi:
ДМК Пресс
Ushbu kitob bilan o'qiladi