WikiDer > Семейство лиственничных
В Семейство лиственничных официальных языки спецификации предназначены для точной спецификации вычислительных систем. Они позволяют четко указать компьютерные программы и формулировка доказательств поведения программы.
Семейство лиственничных развивалось преимущественно в Соединенные Штаты в 1980-х и 1990-х годах с участием исследователей Xerox PARC, DEC / SRC, Массачусетский технологический институт, и другие места. в отличие от Обозначение Z, в семье Лиственничные есть один язык для алгебраическая спецификация из абстрактные типы данных (LSL, то Общий язык лиственницы) и отдельный язык интерфейса адаптированы к каждому языку, на котором должны быть написаны программы (Модула-3, C, Болтовня, так далее.). В рамках проекта Larch также были разработаны инструменты для поддержки использования формальных спецификаций, в том числе LP, Лиственничный прувер.
Смотрите также
внешние ссылки
- Домашняя страница MIT Larch.
- Лиственница: языки и инструменты для формальной спецификации (.PDF), Springer-Verlag (1993). ISBN 0-387-94006-5
- CASL, Общий язык алгебраической спецификации.
 | Эта язык программирования-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |