<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
<channel>
<title>Леви Жан-Жак  -Портал SamoLit.com</title>
<link>https://samolit.com/authors/17148/</link>
<description>СамоЛит - сайт независимых авторов</description>
<lastBuildDate></lastBuildDate>
<image>
<url>https://samolit.com/gif/samolit_logo.png</url>
<link>https://samolit.com</link>
<title>Портал SamoLit.com</title>
</image>
<item>
<title>Жан-Жак Леви &amp;laquo;Введение в теорию языков программирования&amp;raquo; - Книги на SamoLit.com</title>
<link>https://samolit.com/books/54301/</link>
<description><![CDATA[ Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков. ]]></description>
<author>Жан-Жак Леви</author>
<pubDate>Tue, 30 Jun 2015 15:10:00 +0000</pubDate>
</item>
</channel>
</rss>