''Higher-Order and Symbolic Computation'' (formerly ''LISP and Symbolic Computation''; print: , online: ) was a

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

journal A journal, from the Old French ''journal'' (meaning "daily"), may refer to: *Bullet journal, a method of personal organization *Diary, a record of what happened over the course of a day or other period *Daybook, also known as a general journal, a ...

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 highest-ranking editor of a publication may also be titled editor, managing ...

of the journal have been: *

Richard P. Gabriel Richard P. Gabriel (born 1949) is an American computer scientist known for his work in computing related to the programming language Lisp, and especially Common Lisp. His best known work was a 1990 essay "Lisp: Good News, Bad News, How to Win Bi ...

, Sun Microsystems, Inc., USA (1988 – 1991) *

Guy L. Steele Jr. Guy Lewis Steele Jr. (; born October 2, 1954) is an American computer scientist who has played an important role in designing and documenting several computer programming languages and technical standards. Biography Steele was born in Missouri ...

, Sun Microsystems, Inc., USA (1988 – 1991) * Robert R. Kessler,

University of Utah The University of Utah (U of U, UofU, or simply The U) is a public research university in Salt Lake City, Utah. It is the flagship institution of the Utah System of Higher Education. The university was established in 1850 as the University of De ...

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

Olivier Danvy Olivier Danvy is a French computer scientist specializing in programming languages, partial evaluation, and continuations. He is a professor at Yale-NUS College in Singapore. Danvy received his PhD degree from the Université Paris VI in 198 ...

( Aarhus University) 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 Biol ...

(

SRI International SRI International (SRI) is an American nonprofit scientific research institute and organization headquartered in Menlo Park, California. The trustees of Stanford University established SRI in 1946 as a center of innovation to support economic ...

Abstracting and indexing

The journal is abstracted and indexed in Academic OneFile,

ACM Computing Reviews ''ACM Computing Reviews'' (''CR'') is a scientific journal that reviews literature in the field of computer science. It is published by the Association for Computing Machinery and the editor-in-chief is Carol Hutchins (New York University). See ...

ACM Digital Library The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

, Computer Abstracts International Database,

Computer Science Index A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations ( computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These pro ...

Current Abstracts Currents, Current or The Current may refer to: Science and technology * Current (fluid), the flow of a liquid or a gas ** Air current, a flow of air ** Ocean current, a current in the ocean *** Rip current, a kind of water current ** Current (stre ...

EBSCO EBSCO Industries is an American company founded in 1944 by Elton Bryson Stephens Sr. and headquartered in Birmingham, Alabama. The ''EBSCO'' acronym is based on ''Elton Bryson Stephens Company''. EBSCO Industries is a diverse company of over 40 ...

EI-Compendex Ei Compendex is an engineering bibliographic database published by Elsevier. The name "Compendex" stands for COMPuterized ENgineering inDEX. It covers scientific literature pertaining to engineering materials. It started in 1884 under the name ...

, INSPEC, io-port.net, PASCAL,

Scopus Scopus is Elsevier's abstract and citation database launched in 2004. Scopus covers nearly 36,377 titles (22,794 active titles and 13,583 inactive titles) from approximately 11,678 publishers, of which 34,346 are peer-reviewed journals in top-l ...

Summon by Serial Solutions Serials Solutions was a division of ProQuest that provided e-resource access and management services ( ERAMS) to libraries. These products enabled librarians to more easily manage electronic resources that serve the needs of their users. Serials So ...

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 Infrastruct ...

External links

* {{Official, https://www.springer.com/computer/theoretical+computer+science/journal/10990
Journal page
at Aarhus University
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 Nove ...

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

Editors

Abstracting and indexing

See also

External links