Science of Computer Programming, Volume 95

Volume 95, Part 1, December 2014

Special Issue on Systems Development by Means of Semantic Technologies

Volume 95, Part 2, December 2014

Selected and extended papers from Partial Evaluation and Program Manipulation 2013

Volume 95, Part 3, December 2014

Special Section: ACM SAC-SVT 2013 + Bytecode 2013
Selected papers from the Software Verification and Testing (SVT 2013) track at the 28th ACM Symposium Selected and extended papers from Bytecode 2013

Volume 95, Part 4, December 2014

Special Issue on Software Clones (IWSC'12)
maintained by Schloss Dagstuhl LZI, founded at University of Trier