Книга для тех, кто хочет получить представление о теоретических основах языков программирования, теории типов, компиляторах и т. п. Содержит все основные понятия, проиллюстрированные довольно практическим способом: конкретным языком программирования, который авторы назвали PCF, а на самом деле являющимся довольно типичным функциональным языком программирования, перекликающимся с языками семейства ML, и другими языками программирования на уровне лежащих в основе механизмов. При этом даётся и объясняется очень многое из принятой в области терминологии. Формализмы определения языков программирования (в данной книге взяты операционная и денотационная семантики) систематично использованы в применении к различным механизмов языков. Книгу можно рекомендовать программистам и студентам, которые более глубоко интересуются языками программирования и их механизмами, хотят понимать научные труды по теории языков программирования, теории типов, строить свои языки, или расширить кругозор.
Avval ommaboplar
Добротное теоретическое введение
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
27 973,01 soʻm
Janrlar va teglar
Yosh cheklamasi:
0+Litresda chiqarilgan sana:
02 sentyabr 2013Yozilgan sana:
2013Hajm:
127 Sahifa ISBN:
978-5-94074-913-4Umumiy o'lcham:
771 КБUmumiy sahifalar soni :
127Tarjimon:
Mualliflik huquqi egasi:
ДМК Пресс
«Введение в теорию языков программирования» kitobiga sharhlar