Janus (язык программирования с параллельными ограничениями)
-
Основы языка программирования Janus
- Janus — это параллельный язык программирования, разработанный в 1990 году.
- Он моделирует параллелизм через bag-каналы и не гарантирует порядок поступления сообщений.
- Процессы в Janus могут передавать свои «почтовые ящики» и хранить более одного сообщения.
-
Особенности языка Janus
- Каждый логический параметр в Janus имеет два аспекта: «спрашивающий» и «кассир».
- Эти аспекты позволяют запрашивать значение переменной и указывать ограничения на это значение.
- Синтаксис языка не позволяет копировать «кассира» или использовать его более одного раза.
-
Статическая проверка противоречий
- Логическое противоречие в Janus статически предотвращается.
-
Библиография
- Статья «Янус: шаг к программированию с распределенными ограничениями» была опубликована в 1990 году.
- В 1991 году была опубликована статья «Семантические основы параллельного программирования с ограничениями».
- В 1992 году была опубликована статья «jc: Эффективная и портативная последовательная реализация Janus».