Published since 1979, the journal's scope includes
programming language design,
implementation, and
semantics of programming languages,
compilers and
interpreters,
run-time systems,
storage allocation and
garbage collection, and
formal specification,
testing, and
verification of software. It is indexed in
Scopus and
SCImago. The
editor-in-chief is Alastair F. Donaldson (
Imperial College London). After being ranked as a top-quartile journal in software by SCImago from 1999 to 2016, it has been ranked as second-quartile from 2021 through 2024, with an
impact factor of 0.564. ==References==