ISO IEC 13816-2007 PDF

Полное наименование и описание

ISO/IEC 13816:2007 — Information technology — Programming languages, their environments and system software interfaces — Programming language ISLISP. Международный стандарт, описывающий синтаксис и семантику языка программирования ISLISP и задающий требования к соответствующему процессору и текстам ISLISP.

Аннотация

Стандарт специфицирует базовый набор конструкций ISLISP, проектные цели языка (совместимость с существующими диалектами Lisp, объектно‑ориентированность, расширяемость и приоритет промышленным требованиям), а также формальные требования к реализации и представлению программных текстов. В документе также оговорены области, которые не покрываются стандартом (например, ограничения аппаратных платформ, подробные требования к подготовке текста для исполнения и типографское оформление).

Общая информация

• Статус: Опубликован (действующая редакция, подтверждённая при очередном обзоре).
• Дата публикации: 1 октября 2007 г. (издание 2).
• Организация-издатель: ISO/IEC JTC 1/SC 22 (совместная публикация ISO и IEC).
• ICS / категории: 35.060 — Языки программирования и системы программирования.
• Редакция / версия: Издание 2 (2007).
• Количество страниц: Около 127 страниц.

Область применения

Стандарт предназначен для разработчиков компиляторов/интерпретаторов, авторов инструментов разработки, поставщиков встраиваемого ПО и организаций, которым требуется формальное, переносимое описание языка ISLISP. Документ задаёт семантику и синтаксис, достаточные для обеспечения совместимости реализаций и разработки переносимых приложений; он не задаёт конкретных требований к аппаратной платформе или к средствам публикации текстов для чтения человеком.

Ключевые темы и требования

• Формальное определение синтаксиса языка ISLISP (лексика и грамматика).
• Семантика языковых конструкций и описание поведения выражений и процедур.
• Требования к соответствующим (conforming) ISLISP‑процессорам и к формату ISLISP‑текстов.
• Объектно‑ориентированная модель и механизмы расширяемости языка.
• Совместимость с существующими диалектами Lisp там, где это целесообразно.
• Перечень исключённых областей (ограничения на размеры, требования к платформам, типографские требования, необязательные расширения реализации).

Применение и пользователи

Основные пользователи стандарта — реализации языка (разработчики интерпретаторов и компиляторов), производители средств разработки, научные и промышленные проекты, использующие Lisp‑подобные языки, а также образовательные учреждения и стандартизирующие организации. Стандарт полезен при создании переносимых приложений, при оценке совместимости реализаций и при разработке поисково‑аналитических или встраиваемых систем, где требуется компактный, расширяемый язык с возможностями объектной модели.

Связанные стандарты

ISO/IEC 13816:2007 заменил ISO/IEC 13816:1997. Тематика стандарта связана с работой технического комитета ISO/IEC JTC 1/SC 22 (стандарты языков программирования). В число родственных международных стандартов можно отнести другие стандарты на языки программирования, разрабатываемые SC 22 (например, стандарты для C и C++), а также публикации и рабочие материалы, касающиеся диалектов Lisp и спецификаций реализации.

Ключевые слова

ISLISP, язык программирования, синтаксис, семантика, спецификация языка, интерпретатор, компилятор, переносимость, объектно‑ориентированность, ISO/IEC JTC 1/SC 22.

FAQ

В: Что это за стандарт?

О: Международный стандарт, определяющий синтаксис и семантику языка программирования ISLISP и требования к соответствующим реализациям.

В: Что он регулирует?

О: Формальные правила языка (лексика, грамматика, семантика), поведение языковых конструкций и требования к «conforming» процессорам и текстам ISLISP; при этом не регулируются аппаратные ограничения, формат печатных текстов и необязательные расширения реализации.

В: Кто обычно использует?

О: Разработчики интерпретаторов и компиляторов, создатели инструментов разработки, исследователи и инженеры, применяющие Lisp‑подобные языки в промышленности и науке, а также организации, которым нужна переносимая и стандартизованная спецификация языка.

В: Он актуален или заменён?

О: Издание 2 опубликовано 1 октября 2007 года; эта редакция была подтверждена в ходе обычного периодического обзора. На момент последней официальной проверки документ считался действующим. Предыдущая версия 1997 года была заменена новой редакцией 2007 года.

В: Это часть серии?

О: Да. Стандарт входит в область работ ISO/IEC JTC 1/SC 22 по языкам программирования и связан с другими стандартами этой области (некоторые из которых описывают другие языки программирования и интерфейсы средств разработки).

В: Какие ключевые слова?

О: ISLISP, Lisp, синтаксис, семантика, стандарт языка, переносимость, объектно‑ориентированность, реализации.