Вычисление высшего порядка и символическое вычисление - Higher-Order and Symbolic Computation
Вычисление высших порядков и символов (ранее LISP и символьные вычисления; Распечатать: ISSN 1388-3690, онлайн: ISSN 1573-0557 ) это Информатика журнал опубликовано Springer Science + Business Media. Он фокусируется на концепциях программирования и абстракциях, а также теория языков программирования.
Редакторы
Бывший главные редакторы журнала были:
- Ричард П. Габриэль, Sun Microsystems, Inc., США (1988 - 1991)
- Гай Л. Стил мл., Sun Microsystems, Inc., США (1988 - 1991)
- Роберт Р. Кесслер, Университет Юты, США (1991 - 1998)
Нынешние главные редакторы Оливье Данви (Орхусский университет ) и Кэролайн Талкотт (SRI International ).
Абстрагирование и индексация
Журнал реферируется и индексируется в Academic OneFile, ACM Computing Обзоры, Цифровая библиотека ACM, Международная база данных Computer Abstracts, Индекс компьютерных наук, Текущие тезисы, EBSCO, ЭИ-Компендекс, INSPEC, io-port.net, ПАСКАЛЬ, Scopus, Вызов через последовательные решения, База данных ВИНИТИ РАН, и Zentralblatt MATH.
Смотрите также
- Журнал функционального программирования
- Журнал функционального и логического программирования
- Журнал символических вычислений