Высший порядок и символические вычисления
| Дисциплина | Информатика |
|---|---|
| Язык | Английский |
| Подробности публикации | |
Прежнее имя (а) | LISP и символьные вычисления |
| Издатель | |
| Стандартные сокращения | |
| ИСО 4 | Симб. Высшего Ордена. Вычислить. |
| Индексирование | |
| ISSN | 1388-3690 |
| Ссылки | |
Высший порядок и символические вычисления (ранее LISP и символические вычисления ) — по компьютерным наукам, журнал издаваемый Springer Science+Business Media . Основное внимание уделяется концепциям и абстракциям программирования, а также теории языков программирования . Последний выпуск появился в 2013 году.
Редакторы
[ редактировать ]Бывшими главными редакторами журнала были:
- Ричард П. Габриэль , Sun Microsystems, Inc. , США (1988–1991 гг.)
- Гай Л. Стил младший , Sun Microsystems, Inc., США (1988–1991)
- Роберт Р. Кесслер , Университет Юты , США (1991–1998 гг.)
Последними главными редакторами были Оливье Дэнви ( Орхусский университет ) и Кэролин Талкотт ( SRI International ).
Абстрагирование и индексирование
[ редактировать ]Журнал реферируется и индексируется в Academic OneFile , ACM Computing Reviews , Цифровая библиотека ACM , Международная база данных Computer Abstracts , Индекс компьютерных наук , Current Abstracts , EBSCO , EI-Compendex , INSPEC , io-port.net , PASCAL , Scopus , Summon by Serial Solutions , База данных ВИНИТИ РАН и Zentralblatt MATH .
См. также
[ редактировать ]- Журнал функционального программирования
- Журнал функционального и логического программирования
- Журнал символических вычислений