Язык широкого спектра
Язык широкого спектра (WSL) — это язык программирования, спроектированный так, чтобы быть одновременно языком низкого и высокого уровня — возможно, неисполняемым языком спецификации . Языки широкого спектра предназначены для поддержки методологии программирования, основанной на совершенствовании программы .
Эта концепция была предложена FL Bauer et al. в 1978 году:
...Программу следует разрабатывать шаг за шагом, учитывая правильность сохранение трансформаций.... Процесс разработки таким образом, обычно требуется многократное изменение формы.... Поскольку большинство современных языков программирования не содержат все понятия, необходимые для формулирования различных версии, программист в настоящее время вынужден использовать разные языки. Чтобы избежать перехода от с одного языка на другой, представляется целесообразным иметь один связный языковой фрейм, охватывающий весь спектр описанный выше, т.е. язык широкого спектра . [ 1 ]
Преимущество одного языка по сравнению с отдельными языками спецификации, высокого и низкого уровня заключается в том, что программу можно постепенно совершенствовать, при этом промежуточные версии сохраняют некоторые конструкции более высокого и некоторые конструкции более низкого уровня.
Группа Бауэра разработала CIP-L язык широкого спектра CIP-S и систему преобразования программ .
См. также
[ редактировать ]- Extended ML — язык широкого спектра, основанный на ML.
- Одна из основных реализаций Common Lisp , SBCL , имеет интерфейс к ассемблеру под названием VOP (виртуальный оператор), в котором пользователь может напрямую манипулировать регистрами.
- Язык спецификации RAISE , описываемый как язык спецификации широкого спектра.
Примечания
[ редактировать ]- ^ Фермер, с. 15
Ссылки
[ редактировать ]- Ф. Л. Бауэр . и др , «К языку широкого спектра для поддержки спецификации программ и разработки программ», Уведомления ACM SIGPLAN 13 : 12: 15–24 декабря 1978 г. полный текст (подписка)
- Ф. Л. Бауэр, Язык широкого спектра CIP-L , вып. 1 Мюнхенского проекта CIP , в конспектах лекций по информатике 183 , Берлин, 1985. ISBN 3-540-15187-7 .
- З. Чен и др. , «Язык широкого спектра для объектно-ориентированной разработки систем реального времени», Международный журнал информационных наук 118 : 15-35 (1999).
- Тео де Риддер, «Использование Python как языка широкого спектра», EuroPython 2002. [1]