Higher-Order and Symbolic Computation

Higher-Order and Symbol Computation (formerly LISP and Symbolic Computation; print: , online: ) is a computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

journal

Academic journal

An academic journal is a peer-reviewed periodical in which scholarship relating to a particular academic discipline is published. Academic journals serve as forums for the introduction and presentation for scrutiny of new research, and the critique of existing research...

published by Springer Science+Business Media

Springer Science+Business Media

- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...

. It focusses on programming concepts and abstractions and programming language theory

Programming language theory

Programming language theory is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features. It falls within the discipline of computer science, both depending on and affecting...

Editors

Former editors-in-chief of the journal have been:

Richard P. Gabriel, Sun Microsystems, Inc., USA (1988 – 1991)
Guy L. Steele Jr.
Guy L. Steele, Jr.
Guy Lewis Steele Jr. , also known as "The Great Quux", and GLS , is an American computer scientist who has played an important role in designing and documenting several computer programming languages.-Biography:...

, Sun Microsystems, Inc., USA (1988 – 1991)
Robert R. Kessler, University of Utah
University of Utah
The University of Utah, also known as the U or the U of U, is a public, coeducational research university in Salt Lake City, Utah, United States. The university was established in 1850 as the University of Deseret by the General Assembly of the provisional State of Deseret, making it Utah's oldest...

, USA (1991 – 1998)

The current editors-in-chief are Olivier Danvy

Olivier Danvy

Olivier Danvy is a French computer scientist specializing in programming languages, partial evaluation, and continuations at the University of Aarhus in Denmark.He is notable for the number of scientific papers which acknowledge his help...

(Aarhus University) and Carolyn Talcott (SRI International

SRI International

SRI International , founded as Stanford Research Institute, is one of the world's largest contract research institutes. Based in Menlo Park, California, the trustees of Stanford University established it in 1946 as a center of innovation to support economic development in the region. It was later...

Abstracting and indexing

The journal is abstracted and indexed in Academic OneFile

InfoTrac

InfoTrac is a trademark referenced to full-text databases produced by Gale, a part of Cengage Learning. InfoTrac databases features a wide variety of content from academic journals and general magazines...

, ACM Computing Reviews

ACM Computing Reviews

ACM Computing Reviews is an academic journal that reviews computer science literature. It is published by the Association for Computing Machinery .- External links :* — limited access for non-subscribers...

, ACM Digital Library

Association for Computing Machinery

The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...

, Computer Abstracts International Database, Computer Science Index, Current Abstracts, EBSCO

EBSCO Industries

EBSCO Industries, headquartered in Birmingham, Alabama, is a privately held, widely diversified corporation and the largest subscription agency in the world. It was founded in 1944 by Elton Bryson Stephens...

, EI-Compendex, INSPEC

Inspec

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

, io-port.net, PASCAL, Scopus

Scopus

Scopus, officially named SciVerse Scopus, is a bibliographic database containing abstracts and citations for academic journal articles. It covers nearly 18,000 titles from over 5,000 international publishers, including coverage of 16,500 peer-reviewed journals in the scientific, technical, medical,...

, Summon by Serial Solutions

Serials Solutions

Serials Solutions is a division of ProQuest that provides e-resource access and management services to libraries. These products enable librarians to more easily manage electronic resources that serve the needs of their patrons.-History:...

, VINITI Database RAS

VINITI Database RAS

VINITI Database RAS is the All-Union Institute for Scientific and Technical Information database. It is described as a large abstracting database. In general, it is indexed for the natural sciences, exact sciences, and technical sciences...

, and Zentralblatt MATH

Zentralblatt MATH

Zentralblatt MATH is a service providing reviews and abstracts for articles in pure and applied mathematics, published by Springer Science+Business Media. It is a major international reviewing service which covers the entire field of mathematics...

External links

Journal page at Aarhus University
Online access
DBLP
The Collection of Computer Science Bibliographies

The source of this article is wikipedia, the free encyclopedia. The text of this article is licensed under the GFDL.

Editors

Abstracting and indexing

See also

External links