Higher-Order and Symbolic Computation

Aims & Scope

Cessation.

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science, designed to support cutting-edge academic discovery.

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• The octagon abstract domain

  Citation: 498

  Authors: Antoine

• Semantics and pragmatics of Real-Time Maude

  Citation: 186

  Authors: Peter Csaba, José

• Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler

  Citation: 147

  Authors: Yoshihiko

• Revised5 Report on the Algorithmic Language Scheme

  Citation: 138

  Authors: H., R.K., C.T., G.J., N.I., D.P., E., G.L., D.H., R., D., G.J., G., C., K.M., M.

• Definitional Interpreters for Higher-Order Programming Languages

  Citation: 133

  Authors: John C.

• Fundamental Concepts in Programming Languages

  Citation: 127

  Authors: Christopher

• A Per Model of Secure Information Flow in Sequential Programs

  Citation: 123

  Authors: Andrei, David

• A call-by-name lambda-calculus machine

  Citation: 105

  Authors: Jean-Louis

• Slicing Software for Model Construction

  Citation: 83

  Authors: John, Matthew B., Hongjun

• Growing a Language

  Citation: 69

  Authors: Guy L.