Obliczenia wyższego rzędu i symboliczne
Obliczenia wyższego rzędu i obliczenia symboliczne (dawniej LISP i obliczenia symboliczne ; druk: ISSN 1388-3690 , online: ISSN 1573-0557 ) było czasopismem informatycznym wydawanym przez Springer Science + Business Media . Koncentruje się na koncepcjach i abstrakcjach programowania oraz teorii języka programowania . Ostatni numer ukazał się w 2013 roku.
Redaktorzy
Byli redaktorzy naczelni czasopisma byli:
- Richard P. Gabriel , Sun Microsystems, Inc. , USA (1988 – 1991)
- Guy L. Steele Jr. , Sun Microsystems, Inc., USA (1988 – 1991)
- Robert R. Kessler, Uniwersytet Utah , USA (1991 – 1998)
Ostatnimi redaktorami naczelnymi byli Olivier Danvy ( Aarhus University ) i Carolyn Talcott ( SRI International ).
Abstrahowanie i indeksowanie
Czasopismo jest wyodrębniane i indeksowane w Academic OneFile , ACM Computing Reviews , ACM Digital Library , Computer Abstracts International Database, Computer Science Index, Current Abstracts, EBSCO , EI-Compendex , INSPEC , io-port.net, PASCAL , Scopus , Summon by Serial Solutions , VINITI Database RAS i Zentralblatt MATH .
Zobacz też
- Dziennik programowania funkcjonalnego
- Dziennik programowania funkcjonalnego i logicznego
- Dziennik obliczeń symbolicznych