Lustre (язык программирования)

От / / Оставьте комментарий

Оглавление1 Lustre (язык программирования)1.1 Определение и история Lustre1.2 Применение Lustre1.3 Структура программы Lustre1.4 Дополнительные переменные и операторы1.5 Примеры и специальные […]

Declarative programming languages, Formal methods, Hardware description languages, Software modeling language, Synchronous programming languages, Декларативные языки программирования, Синхронные языки программирования, Формальные методы, Язык моделирования программного обеспечения, Языки описания оборудования

Lustre (язык программирования)

  • Определение и история Lustre

    • Lustre – это декларативный синхронный язык программирования для реактивных систем. 
    • Начал разрабатываться в 1980-х как исследовательский проект. 
    • Первое официальное описание опубликовано в трудах IEEE в 1991 году. 
    • В 1993 году получил промышленное применение в SCADE от Esterel Technologies. 

  • Применение Lustre

    • Используется для создания критически важного ПО для управления самолетами, вертолетами и атомными электростанциями. 

  • Структура программы Lustre

    • Программа состоит из определений узлов с входными и выходными сигналами. 
    • Узел foo возвращает отрицание своего входного сигнала a. 

  • Дополнительные переменные и операторы

    • В программе могут быть объявлены дополнительные внутренние переменные. 
    • Порядок формул в программе не влияет на результат. 

  • Примеры и специальные операторы

    • Приведены примеры использования специальных операторов. 

  • Связанные проекты и ресурсы

    • Упоминается язык СИГНАЛ, ориентированный на поток данных. 
    • Ссылки на архив Synchrone Lab и страницу продукта SCADE. 

Полный текст статьи:

Lustre (язык программирования) — Википедия

Похожие статьи:

  1. Язык визуального программирования Оглавление1 Язык визуального программирования1.1 Обзор визуальных языков программирования1.2 Примеры визуальных языков1.3 Языки для обучения и разработки1.4...
  2. Язык программирования – Arc.Ask3.Ru Оглавление1 Язык программирования1.1 Определение языков программирования1.2 Реализация языков программирования1.3 История языков программирования1.4 1960-е и 1970-е годы1.5...
  3. Область применения (информатика) Оглавление1 Область применения (информатика)1.1 Основы области видимости1.2 Лексическая область видимости1.3 Динамическая область видимости1.4 Область действия функции1.5...
  4. Лямбда-исчисление Оглавление1 Лямбда-исчисление1.1 История и происхождение1.2 Основные понятия1.3 Лямбда-термины и абстракции1.4 Применение и приложения1.5 Происхождение символа λ1.6...
  5. Французский язык – Википедия Оглавление1 Французский язык1.1 Происхождение и развитие французского языка1.2 Распространение и статус1.3 Международный статус1.4 История и эволюция1.5...
  6. Эзотерический язык программирования Оглавление1 Эзотерический язык программирования1.1 Определение и история эсолангов1.2 Примеры эсолангов1.3 Культурный контекст и рекомендации2 Эзотерический язык...
  7. Арамейский – Arc.Ask3.Ru Оглавление1 Арамейский1.1 Происхождение и распространение арамейского языка1.2 Современные разновидности и использование1.3 Лингвистическая классификация и алфавит1.4 Историческое...
  8. Язык синхронного программирования Оглавление1 Язык синхронного программирования1.1 Определение синхронного языка программирования1.2 Классификация компьютерных систем1.3 Синхронное программирование и его принципы1.4...
  9. Общий Лисп Оглавление1 Обычная шепелявость1.1 История и стандартизация1.2 Синтаксис и типы данных1.3 Структуры данных1.4 Функции и определения1.5 Макросы...
  10. Список образовательных языков программирования Оглавление1 Список образовательных языков программирования1.1 Обзор языков программирования для детей1.2 Примеры языков программирования для детей1.3 Образовательные...
  11. СИГНАЛ (язык программирования) Оглавление1 СИГНАЛ (язык программирования)1.1 Основы языка программирования SIGNAL1.2 Разработка и применение1.3 Инструменты разработки1.4 Дополнительные ресурсы2 СИГНАЛ...
  12. История языков программирования Оглавление1 История языков программирования1.1 Обзор истории языков программирования1.2 Ранние языки программирования1.3 Развитие языков программирования1.4 Современные тенденции...
  13. Общий Лисп Оглавление1 Обычная шепелявость1.1 История и стандартизация1.2 Синтаксис и типы данных1.3 Структуры данных1.4 Функции и определения1.5 Макросы...
  14. Переменная (информатика) Оглавление1 Переменная (информатика)1.1 Определение переменной1.2 Типы переменных1.3 Распределение и освобождение памяти1.4 Именование переменных1.5 Использование переменных1.6 Примеры...
  15. Язык описания страниц Оглавление1 Язык описания страницы1.1 Основы языка описания страницы (PDL)1.2 Адаптация и смешение с другими технологиями1.3 Примеры...
  16. Локальная переменная Оглавление1 Локальная переменная1.1 Основы локальных переменных1.2 Семантика вызова по значению1.3 Семантика вызова по ссылке и имени1.4...
  17. Массачусетский язык Оглавление1 Массачусетский язык1.1 История и возрождение языка1.2 Классификация и взаимоотношения1.3 Особенности и диалекты1.4 Происхождение и названия1.5...
  18. Эстерель Оглавление1 Эстерель1.1 Обзор языка программирования Esterel1.2 Особенности и использование Esterel1.3 Примеры и преимущества Esterel1.4 Недостатки Esterel1.5...
  19. Управление ходом работ Оглавление1 Управление ходом работ1.1 Создание и цели WPA1.2 Структура и финансирование1.3 Трудоустройство и проекты1.4 Влияние и...
  20. Компьютерные программы – Википедия Оглавление1 Компьютерная программа1.1 История компьютерного программирования1.2 Развитие компьютеров1.3 Компьютеры с сохраненными программами1.4 Очень масштабная интеграция1.5 Микропроцессоры...
  21. Замыкание (компьютерное программирование) Оглавление1 Закрытие (компьютерное программирование)1.1 Определение и использование замыканий1.2 Примеры использования замыканий1.3 Замыкания в различных языках программирования1.4...
  22. Общий Лисп Оглавление1 Обычная шепелявость1.1 Основы программирования на Common Lisp1.2 Типы привязок и их область видимости1.3 Глобальные и...

Оставьте комментарий

Прокрутить вверх