Science of Computer Programming is dedicated to the distribution, via publication of papers and software, of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design. The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues and aspects of industrial practice.