Obliczenia wyższego rzędu i symboliczne - Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation (dawniej LISP and Symbolic Computation ; druk: ISSN 1388-3690 , online: ISSN 1573-0557 ) to czasopismo informatyczne wydawane przez Springer Science + Business Media . Skupia się na koncepcjach i abstrakcjach programowania oraz teorii języka programowania .
Redaktorzy
Byli redaktorzy naczelni czasopisma to:
- Richard P. Gabriel , Sun Microsystems, Inc. , USA (1988 - 1991)
- Guy L. Steele Jr. , Sun Microsystems, Inc., USA (1988 - 1991)
- Robert R. Kessler , University of Utah , USA (1991 - 1998)
Obecnymi redaktorami naczelnymi są Olivier Danvy ( Uniwersytet Aarhus ) i Carolyn Talcott ( SRI International ).
Abstrakcja i indeksowanie
Czasopismo jest abstrakcyjne 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ż
- Journal of Functional Programming
- Journal of Functional and Logic Programming
- Journal of Symbolic Computation