Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Косой
ПарадигмыМультипарадигма : императивная , структурированная , модульная , объектно-ориентированная , основанная на прототипах , параллельная
СемьяВирт Оберон
РазработаноКришна Бхарат
Марк Х. Браун
Лука Карделли
Впервые появился1993 ; 28 лет назад ( 1993 )
Печатная дисциплинаСильный , динамичный
ОбъемЛексический чистый
Язык реализацииМодула-3
ПлатформаIA-32
Интернет сайтwww .cc .gatech .edu / gvu / people / Phd / Krishna / VO / VOHome .html
Основные реализации
Obliq, визуальный Obliq
Под влиянием
Модула-3 , Я , Оберон

Obliq это интерпретируется , объектно-ориентированный язык программирования , разработанный , чтобы сделать распределены , и локально многопоточным , вычисления проще и легче программы, обеспечивая при этом безопасность программа и неявного типа системы. Интерпретатор написан на Modula-3 и предоставляет Obliq полный доступ к возможностям сетевых объектов Modula-3 . Для Obliq разработан алгоритм вывода типов для объединения записей, выделения подтипов и рекурсивных типов. Кроме того, было доказано, что он NP-полный [1] и его наименьшая сложность равна Ο (п 3 ) , илиеслисоответствиидругим моделированием до определенных условий вплоть до Ο ( п 2 ) [2] и его наиболее известных трасс в реализации Ο ( п 5 ) . [3] [ противоречиво ] Синтаксис Obliq очень похож на Modula-3, самая большая разница в том, что Obliq не нуждается в явно типизированных переменных (т.Е.Переменная может содержать любой тип данныхразрешено средством проверки типов, а если не принимает его, т. е. будет отображаться ошибка выполнения данного выражения), хотя явные объявления типов разрешены и игнорируются интерпретатором. Основные типы данных в языке включают логические , целые , вещественные , символы , строки и массивы . Obliq поддерживает обычный набор последовательных структур управления (условные формы, формы итерации и обработки исключений) и специальные формы управления параллелизмом (мьютексы и защищенные операторы). Кроме того, объекты Obliq можно клонировать и безопасно копировать удаленно на любой машине в распределенном сетевом объекте, и это можно делать безопасно и прозрачно.. [4]

Большая стандартная библиотека Obliq обеспечивает надежную поддержку математических операций, ввода-вывода (I / O), сохраняемости , управления потоками, графики и анимации. Распределенные вычисления основаны на объектах: объекты содержат состояние, локальное для одного процесса . Область видимости объектов и других переменных является чисто лексической . Объекты могут вызывать методы других объектов, даже если эти объекты находятся на другом компьютере в сети. Объекты Obliq - это просто коллекции именованных полей (аналогично слотам в Self и Smalltalk ) и поддерживают наследование путем делегирования (например, Self).

Обычно Obliq использует программирование по сети, трехмерную анимацию и распределенные вычисления, как это происходит в локальной сети (LAN), такой как Ethernet . Obliq бесплатно включен в дистрибутив Modula-3 Digital Equipment Corporation (DEC), но есть и другие бесплатные версии, включая предварительно скомпилированные двоичные файлы для нескольких операционных систем .

Проекты с использованием Obliq [ править ]

  • В Collaborative Активные учебники (CAT) [5] разработаны с использованием Obliq апплеты [6] , а Зевс [7] алгоритм анимации системы (написанный на Modula-3 ).
  • Аплеты Obliq (Oblets) [6] специальный веб-браузер (написанный на Modula-3 ) Встроенные приложения веб-страницы Obliq. [8]

Ссылки [ править ]

  1. ^ http://www.cs.ucla.edu/~palsberg/paper/ic04.pdf
  2. ^ Henglein, Fritz (1999). «Преодоление барьера n 3 : более быстрый вывод типа объекта». Теория и практика объектных систем . 5 (1): 57–72. DOI : 10.1002 / (SICI) 1096-9942 (199901/03) 5: 1 <57 :: AID-TAPO5> 3.0.CO; 2-U .
  3. ^ Палсберг, Йенс; Чжао, Тянь (2002). «Эффективный вывод типов для конкатенации записей и выделения подтипов». Логика в информатике, Симпозиум . Лос-Аламитос, Калифорния, США: Компьютерное общество IEEE. п. 125. DOI : 10,1109 / LICS.2002.1029822 .
  4. ^ Бриэ, Себастьян; Нестманн, Уве (2002). «Мобильные объекты» должны «безопасно перемещаться». FMOODS '02 . С. 129–146. CiteSeerX 10.1.1.23.4787 . 
  5. ^ Браун, Марк Х .; Наджорк, Марк А. (май 1996 г.). «Совместные активные учебники: веб-система анимации алгоритмов для электронного класса; исследовательский отчет 142» . Центр системных исследований DEC (SRC) . Корпорация цифрового оборудования (DEC).
  6. ^ a b Браун, Марк Х .; Наджорк, Марк А. (1997). «Распределенные апплеты» . CHI '97 расширенные рефераты по человеческому фактору в вычислительных системах: взгляд в будущее . Атланта, Джорджия: ACM. С. 204–205. DOI : 10.1145 / 1120212.1120344 . ISBN 0-89791-926-2. Проверено 15 мая 2010 .
  7. ^ Зевс: Система для анимации алгоритмов и редактирования с несколькими представлениями Марк Х. Браун. Отчет об исследовании Центра системных исследований (SRC) Digital Equipment Corporation (DEC)075 (февраль 1992 г.)
  8. ^ http://www.ibiblio.org/openvideo/video/chi/chi97_02_m1.mpg

Внешние ссылки [ править ]

  • Официальный веб-сайт
  • Наклон в Керли
  • Лука Cardelli «s Obliq Quick Start страница (архивируются на 2008-10-17)