Science of Computer ProgrammingFull text availability: Vol. 1 (1981) - present
Science of Computer Programming is dedicated to the distribution 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 the aspects of industrial practice.