Помогите найти литературу по семантике!!!

[barbash]

Народ, помогите, пожалуйста, найти в Инете литературу по семантике языков программирования, желательно распределенных. Срочно надо, горю с дипломом!!!
Подскажите ресурсы, если кто знает.
Спасибо.

[npak]

Не совсем понятен вопрос.  Если интересует семантика какого-то конкретного языка программирования, то надо взять стандарт языка и вдумчиво прочитать, обращая внимание на объяснения значения, правил работы той или иной конструкции в языке.

Если это не подходит, то сформулируй, что требуется.  Например, сообщи тему дипломной рабоыт и постановку задачи.  Возможно, из этого можно будет понять, что тебе надо.

[barbash]

Мне не нужны объяснения значений или правил работы той или иной конструкции, мне нужны материалы по теме "Семантика языков распределенного программирования", что включает в себя описание скажем абстрактного языка с семантической точки зрения, т.е. не надо самому придумывать что-либо. Это в принципе чисто теоретическая задача, не относящаяся к конкретному языку, возможно даже ближе к логике, чем к программированию.

[npak]

Возможно, тебе надо искать в направлении различных подходов к описанию параллельности. Например, Communicating Sequential Processes Тони Хоара. На этой идее построены несколько языков, в частности LOTOS, возможно есть работы, в которых исследуется, на основе каких элементаных операций алгебры процессов можно построить язык.

Другой подход к формализации семантики параллельных процессов и их представлению в языке есть в курсе MIT по Principles of Computer Systems, http://web.mit.edu/6.826/www/notes/
В лекции 17 (http://web.mit.edu/6.826/www/notes/HO17.pdf) приведено исчисление параллельных процессов в приложении к языку (доморощенному) Spec. В принципе, рассматриваются все основные конструкции (примитивы) параллельных процессов, которые могут быть отражены  в конкретном языке.

Если дашь постановку задачи для диплома можно будет более предметно искать источники.

[barbash]

Spasibo!!!
Obyazatelno poprobuyu!!!