''Higher-Order and Symbolic Computation'' (formerly ''LISP and Symbolic Computation'') was a

computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

journal published by

Springer Science+Business Media Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

. It focuses on programming concepts and abstractions and

programming language theory Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is clos ...

. The final issue appeared in 2013.

Editors

Former

editors-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The editor-in-chief heads all departments of the organization and is held accoun ...

of the journal have been: * 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 The University of Utah (the U, U of U, or simply Utah) is a public university, public research university in Salt Lake City, Utah, United States. It was established in 1850 as the University of Deseret (Book of Mormon), Deseret by the General A ...

, USA (1991 – 1998) The last editors-in-chief were Olivier Danvy (

Aarhus University Aarhus University (, abbreviated AU) is a public research university. Its main campus is located in Aarhus, Denmark. It is the second largest and second oldest university in Denmark. The university is part of the Coimbra Group, the Guild, and Ut ...

) and

Carolyn Talcott Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Bio ...

(

SRI International SRI International (SRI) is a nonprofit organization, nonprofit scientific research, scientific research institute and organization headquartered in Menlo Park, California, United States. It was established in 1946 by trustees of Stanford Univer ...

Abstracting and indexing

The journal is abstracted and indexed in

Academic OneFile Gale is a global provider of research and digital learning resources. The company is based in Farmington Hills, Michigan, United States, west of Detroit Detroit ( , ) is the List of municipalities in Michigan, most populous city in the U. ...

, ACM Computing Reviews, ACM Digital Library,

Computer Abstracts International Database A computer is a machine that can be Computer programming, programmed to automatically Execution (computing), carry out sequences of arithmetic or logical operations (''computation''). Modern digital electronic computers can perform generic set ...

, Computer Science Index, Current Abstracts, EBSCO, EI-Compendex,

INSPEC Inspec is a major indexing database of scientific and technical literature, published by the Institution of Engineering and Technology (IET), and formerly by the Institution of Electrical Engineers (IEE), one of the IET's forerunners. Inspec cov ...

, io-port.net, PASCAL,

Scopus Scopus is a scientific abstract and citation database, launched by the academic publisher Elsevier as a competitor to older Web of Science in 2004. The ensuing competition between the two databases has been characterized as "intense" and is c ...

, Summon by Serial Solutions,

VINITI Database RAS VINITI Database RAS is a database provided by the All-Russian Institute for Scientific and Technical Information (VINITI). The database is devoted to scientific publications. It is described as a large abstracting database. In general, it is index ...

, and

Zentralblatt MATH zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastru ...

External links

* {{Official, https://www.springer.com/computer/theoretical+computer+science/journal/10990
Journal page
at

Online access

Higher-Order and Symbolic Computation
at

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...

The Collection of Computer Science Bibliographies
Computer science journals Springer Science+Business Media academic journals

Editors

Abstracting and indexing

See also

External links