Форум программистов «Весельчак У»
  *
Добро пожаловать, Гость. Пожалуйста, войдите или зарегистрируйтесь.
Вам не пришло письмо с кодом активации?

  • Рекомендуем проверить настройки временной зоны в вашем профиле (страница "Внешний вид форума", пункт "Часовой пояс:").
  • У нас больше нет рассылок. Если вам приходят письма от наших бывших рассылок mail.ru и subscribe.ru, то знайте, что это не мы рассылаем.
   Начало  
Наши сайты
Помощь Поиск Календарь Почта Войти Регистрация  
 
Страниц: [1]   Вниз
  Печать  
Автор Тема: Помогите найти литературу по семантике!!!  (Прочитано 6663 раз)
0 Пользователей и 1 Гость смотрят эту тему.
barbash
Гость
« : 02-06-2005 14:30 » 

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

ru
Offline Offline
Пол: Мужской

« Ответ #1 : 03-06-2005 12:53 » 

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

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

UniTesK -- индустриальная технология надежного тестирования.

http://www.unitesk.com/ru/
barbash
Гость
« Ответ #2 : 06-06-2005 15:06 » 

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

ru
Offline Offline
Пол: Мужской

« Ответ #3 : 06-06-2005 15:26 » 

Возможно, тебе надо искать в направлении различных подходов к описанию параллельности. Например, 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. В принципе, рассматриваются все основные конструкции (примитивы) параллельных процессов, которые могут быть отражены  в конкретном языке.

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

UniTesK -- индустриальная технология надежного тестирования.

http://www.unitesk.com/ru/
barbash
Гость
« Ответ #4 : 07-06-2005 15:35 » 

Spasibo!!!
Obyazatelno poprobuyu!!!
Записан
Страниц: [1]   Вверх
  Печать  
 

Powered by SMF 1.1.21 | SMF © 2015, Simple Machines