В информатике , Окки-π (или Оккам-пи ) является именем варианта языка программирования Окков , разработанного Kent настраиваемого Оккама Compiler ( Крки команды) в Университете Кента . [1] Название отражает введение в оккам элементов π-исчисления (пи-исчисление), особенно концепций, связанных с мобильными агентами (процессами) и данными. Язык содержит несколько расширений для occam 2.1, в том числе:
- Вложенные протоколы
- Создание рабочего процесса
- Мобильные каналы, данные и процессы
- Рекурсия
- Наследование протокола
- Конструкторы массивов
- Расширенное свидание
Парадигма | Императивный , процедурный , параллельный |
---|---|
Разработано | Фред Барнс, Питер Уэлч |
Разработчики | оккам для всех, Кентский университет |
Платформа | IA-32 , Ардуино |
Под влиянием | |
Оккам |
Смотрите также
Рекомендации
- ^ Барнс, Фред; Уэлч, Питер (14 января 2006 г.). «Оккам-пи: сочетание лучшего из CSP и пи-исчисления» . Проверено 24 ноября 2006 .